Nuprl Definition : m-ball
m-ball(X;d;c;r) == {x:X| mdist(d;c;x) ≤ r}
Definitions occuring in Statement :
mdist: mdist(d;x;y),
rleq: x ≤ y,
set: {x:A| B[x]}
FDL editor aliases :
m-ball
Latex:
m-ball(X;d;c;r) == \{x:X| mdist(d;c;x) \mleq{} r\}
Date html generated:
2020_05_20-AM-11_45_12
Last ObjectModification:
2019_11_07-AM-10_22_43
Theory : reals
Home
Index