Nuprl Definition : rational-cube
ℚCube(k) == ℕk ⟶ ℚInterval
Definitions occuring in Statement :
rational-interval: ℚInterval,
int_seg: {i..j-},
function: x:A ⟶ B[x],
natural_number: $n
Definitions occuring in definition :
rational-interval: ℚInterval,
natural_number: $n,
int_seg: {i..j-},
function: x:A ⟶ B[x]
FDL editor aliases :
rational-cube
rational-cube
Latex:
\mBbbQ{}Cube(k) == \mBbbN{}k {}\mrightarrow{} \mBbbQ{}Interval
Date html generated:
2019_10_29-AM-07_48_38
Last ObjectModification:
2019_10_17-AM-11_17_53
Theory : rationals
Home
Index