Nuprl Definition : subinterval

I ⊆ J  ==  ∀r:ℝ. ((r ∈ I) ⇒ (r ∈ J))


Definitions occuring in Statement :  i-member: r ∈ I,  real: ℝ,  all: ∀x:A. B[x],  implies: P ⇒ Q
Definitions occuring in definition :  all: ∀x:A. B[x],  real: ℝ,  implies: P ⇒ Q,  i-member: r ∈ I
FDL editor aliases :  subinterval subinterval
Latex:
I  \msubseteq{}  J    ==    \mforall{}r:\mBbbR{}.  ((r  \mmember{}  I)  {}\mRightarrow{}  (r  \mmember{}  J))


Date html generated: 2016_05_18-AM-08_49_12
Last ObjectModification: 2015_09_23-AM-09_07_59

Theory : reals


Home Index