Nuprl Definition : strict-upper-bound
A < b == ∀x:ℝ. ((x ∈ A) ⇒ (x < b))
Definitions occuring in Statement :
rset-member: x ∈ A,
rless: 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,
rless: x < y
FDL editor aliases :
strict-upper-bound
strict-upper-bound
Latex:
A < b == \mforall{}x:\mBbbR{}. ((x \mmember{} A) {}\mRightarrow{} (x < b))
Date html generated:
2016_05_18-AM-08_09_01
Last ObjectModification:
2015_09_23-AM-09_04_02
Theory : reals
Home
Index