Nuprl Definition : bounded-above
bounded-above(A) == ∃b:ℝ. A ≤ b
Definitions occuring in Statement :
upper-bound: A ≤ b
,
real: ℝ
,
exists: ∃x:A. B[x]
Definitions occuring in definition :
exists: ∃x:A. B[x]
,
real: ℝ
,
upper-bound: A ≤ b
FDL editor aliases :
bounded-above
bounded-above
Latex:
bounded-above(A) == \mexists{}b:\mBbbR{}. A \mleq{} b
Date html generated:
2016_05_18-AM-08_09_37
Last ObjectModification:
2015_09_23-AM-09_04_14
Theory : reals
Home
Index