Nuprl Definition : bounded-below
bounded-below(A) == ∃b:ℝ. lower-bound(A;b)
Definitions occuring in Statement :
lower-bound: lower-bound(A;b),
real: ℝ,
exists: ∃x:A. B[x]
Definitions occuring in definition :
lower-bound: lower-bound(A;b),
real: ℝ,
exists: ∃x:A. B[x]
FDL editor aliases :
bounded-below
Latex:
bounded-below(A) == \mexists{}b:\mBbbR{}. lower-bound(A;b)
Date html generated:
2016_11_08-AM-09_06_36
Last ObjectModification:
2016_11_07-PM-02_20_13
Theory : reals
Home
Index