Nuprl Definition : rational-interval
ℚInterval == ℚ × ℚ
Definitions occuring in Statement :
rationals: ℚ,
product: x:A × B[x]
Definitions occuring in definition :
rationals: ℚ,
product: x:A × B[x]
FDL editor aliases :
rational-interval
rational-interval
Latex:
\mBbbQ{}Interval == \mBbbQ{} \mtimes{} \mBbbQ{}
Date html generated:
2019_10_29-AM-07_46_22
Last ObjectModification:
2019_10_17-PM-01_18_15
Theory : rationals
Home
Index