Nuprl Definition : rseteq

rseteq(A;B) ==  ∀x:ℝ. (x ∈ A ⇐⇒ x ∈ B)


Definitions occuring in Statement :  rset-member: x ∈ A,  real: ℝ,  all: ∀x:A. B[x],  iff: P ⇐⇒ Q
Definitions occuring in definition :  all: ∀x:A. B[x],  real: ℝ,  iff: P ⇐⇒ Q,  rset-member: x ∈ A
FDL editor aliases :  rseteq rseteq
Latex:
rseteq(A;B)  ==    \mforall{}x:\mBbbR{}.  (x  \mmember{}  A  \mLeftarrow{}{}\mRightarrow{}  x  \mmember{}  B)


Date html generated: 2016_05_18-AM-08_07_40
Last ObjectModification: 2015_09_23-AM-09_03_44

Theory : reals


Home Index