Nuprl Definition : closed-rational-interval

closed-rational-interval(a;b;c;d) ==  [r(a/b), r(c/d)]


Definitions occuring in Statement :  rccint: [l, u],  rat-to-real: r(a/b)
Definitions occuring in definition :  rccint: [l, u],  rat-to-real: r(a/b)
FDL editor aliases :  closed-rational-interval
Latex:
closed-rational-interval(a;b;c;d)  ==    [r(a/b),  r(c/d)]


Date html generated: 2019_10_29-AM-10_45_42
Last ObjectModification: 2019_10_16-AM-09_11_34

Theory : reals


Home Index