Nuprl Definition : unit-ss
𝕀 == {x:ℝ | x ∈ [r0, r1]}
Definitions occuring in Statement :
real-ss: ℝ,
set-ss: {x:ss | P[x]},
rccint: [l, u],
i-member: r ∈ I,
int-to-real: r(n),
natural_number: $n
Definitions occuring in definition :
set-ss: {x:ss | P[x]},
real-ss: ℝ,
i-member: r ∈ I,
rccint: [l, u],
int-to-real: r(n),
natural_number: $n
FDL editor aliases :
unit-ss
Latex:
\mBbbI{} == \{x:\mBbbR{} | x \mmember{} [r0, r1]\}
Date html generated:
2019_10_31-AM-07_27_20
Last ObjectModification:
2019_03_19-PM-03_41_53
Theory : constructive!algebra
Home
Index