Nuprl Definition : m-interior
m-interior(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),
set: {x:A| B[x]}
FDL editor aliases :
m-interior
Latex:
m-interior(X;d;A) == \{p:A| m-interior-point(X;d;A;p)\}
Date html generated:
2020_05_20-AM-11_43_52
Last ObjectModification:
2019_11_07-AM-10_21_22
Theory : reals
Home
Index