Nuprl Definition : interval-ss
interval-ss(I) == {x:ℝ | x ∈ I}
Definitions occuring in Statement :
real-ss: ℝ,
set-ss: {x:ss | P[x]},
i-member: r ∈ I
Definitions occuring in definition :
set-ss: {x:ss | P[x]},
real-ss: ℝ,
i-member: r ∈ I
FDL editor aliases :
interval-ss
Latex:
interval-ss(I) == \{x:\mBbbR{} | x \mmember{} I\}
Date html generated:
2019_10_31-AM-07_27_23
Last ObjectModification:
2019_03_19-PM-03_41_58
Theory : constructive!algebra
Home
Index