Nuprl Definition : rset
Set(ℝ) == {A:ℝ ⟶ ℙ| ∀x,y:ℝ. ((x = y) ⇒ (A x) ⇒ (A y))}
Definitions occuring in Statement :
req: x = y,
real: ℝ,
prop: ℙ,
all: ∀x:A. B[x],
implies: P ⇒ Q,
set: {x:A| B[x]} ,
apply: f a,
function: x:A ⟶ B[x]
Definitions occuring in definition :
set: {x:A| B[x]} ,
function: x:A ⟶ B[x],
prop: ℙ,
all: ∀x:A. B[x],
real: ℝ,
req: x = y,
implies: P ⇒ Q,
apply: f a
FDL editor aliases :
rset
rset
Latex:
Set(\mBbbR{}) == \{A:\mBbbR{} {}\mrightarrow{} \mBbbP{}| \mforall{}x,y:\mBbbR{}. ((x = y) {}\mRightarrow{} (A x) {}\mRightarrow{} (A y))\}
Date html generated:
2016_05_18-AM-08_07_09
Last ObjectModification:
2015_09_23-AM-09_03_34
Theory : reals
Home
Index