Nuprl Definition : upper-bound
A ≤ b == ∀x:ℝ. ((x ∈ A) ⇒ (x ≤ b))
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 :
upper-bound
upper-bound
Latex:
A \mleq{} b == \mforall{}x:\mBbbR{}. ((x \mmember{} A) {}\mRightarrow{} (x \mleq{} b))
Date html generated:
2016_05_18-AM-08_08_37
Last ObjectModification:
2015_09_23-AM-09_03_57
Theory : reals
Home
Index