Nuprl Definition : m-boundary
m-boundary(X;d;A) == {p:A| ¬m-interior-point(X;d;A;p)}
Definitions occuring in Statement :
m-interior-point: m-interior-point(X;d;A;p),
not: ¬A,
set: {x:A| B[x]}
FDL editor aliases :
m-boundary
Latex:
m-boundary(X;d;A) == \{p:A| \mneg{}m-interior-point(X;d;A;p)\}
Date html generated:
2020_05_20-AM-11_44_33
Last ObjectModification:
2019_11_07-AM-10_15_57
Theory : reals
Home
Index