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