Nuprl Definition : r-bound

r-bound(x) ==  fst((TERMOF{integer-bound:o, 1:l} x))


Definitions occuring in Statement :  pi1: fst(t),  apply: f a
Definitions occuring in definition :  pi1: fst(t),  apply: f a
TermOfs occuring in Definition :  integer-bound
FDL editor aliases :  r-bound r-bound
Latex:
r-bound(x)  ==    fst((TERMOF\{integer-bound:o,  1:l\}  x))


Date html generated: 2016_05_18-AM-07_37_36
Last ObjectModification: 2015_09_23-AM-09_02_14

Theory : reals


Home Index