Nuprl Definition : strict-upper-bounds
strict-upper-bounds(A) == λb.A < b
Definitions occuring in Statement :
strict-upper-bound: A < b,
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
strict-upper-bound: A < b
FDL editor aliases :
strict-upper-bounds
strict-upper-bounds
Latex:
strict-upper-bounds(A) == \mlambda{}b.A < b
Date html generated:
2016_05_18-AM-08_11_32
Last ObjectModification:
2015_09_23-AM-09_04_46
Theory : reals
Home
Index