Nuprl Definition : lower-bound
lower-bound(A;b) == ∀x:ℝ. ((x ∈ A) ⇒ (b ≤ x))
Definitions occuring in Statement :
rset-member: x ∈ A,
rleq: x ≤ y,
real: ℝ,
all: ∀x:A. B[x],
implies: P ⇒ Q
Definitions occuring in definition :
all: ∀x:A. B[x],
real: ℝ,
implies: P ⇒ Q,
rset-member: x ∈ A,
rleq: x ≤ y
FDL editor aliases :
lower-bound
lower-bound
Latex:
lower-bound(A;b) == \mforall{}x:\mBbbR{}. ((x \mmember{} A) {}\mRightarrow{} (b \mleq{} x))
Date html generated:
2016_05_18-AM-08_09_24
Last ObjectModification:
2015_09_23-AM-09_04_09
Theory : reals
Home
Index