Nuprl Definition : interval-retraction

interval-retraction(u;v;r) ==  rmin(v;rmax(u;r))


Definitions occuring in Statement :  rmin: rmin(x;y),  rmax: rmax(x;y)
Definitions occuring in definition :  rmin: rmin(x;y),  rmax: rmax(x;y)
FDL editor aliases :  interval-retraction
Latex:
interval-retraction(u;v;r)  ==    rmin(v;rmax(u;r))


Date html generated: 2017_10_03-AM-10_04_53
Last ObjectModification: 2017_07_10-PM-04_57_12

Theory : reals


Home Index