Nuprl Definition : interval-metric-space
interval-metric-space(I) == <{x:ℝ| x ∈ I} , rmetric()>
Definitions occuring in Statement :
rmetric: rmetric(),
i-member: r ∈ I,
real: ℝ,
set: {x:A| B[x]} ,
pair: <a, b>
Definitions occuring in definition :
pair: <a, b>,
set: {x:A| B[x]} ,
real: ℝ,
i-member: r ∈ I,
rmetric: rmetric()
FDL editor aliases :
interval-metric-space
Latex:
interval-metric-space(I) == <\{x:\mBbbR{}| x \mmember{} I\} , rmetric()>
Date html generated:
2019_10_29-AM-11_12_36
Last ObjectModification:
2019_10_02-AM-09_53_02
Theory : reals
Home
Index