Nuprl Definition : i-nonvoid

i-nonvoid(I) ==  ∃r:ℝ. (r ∈ I)


Definitions occuring in Statement :  i-member: r ∈ I,  real: ℝ,  exists: ∃x:A. B[x]
Definitions occuring in definition :  exists: ∃x:A. B[x],  real: ℝ,  i-member: r ∈ I
FDL editor aliases :  i-nonvoid i-nonvoid
Latex:
i-nonvoid(I)  ==    \mexists{}r:\mBbbR{}.  (r  \mmember{}  I)


Date html generated: 2016_05_18-AM-08_45_00
Last ObjectModification: 2015_09_23-AM-09_07_46

Theory : reals


Home Index