Nuprl Definition : rset-member

x ∈ A ==  A x


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  apply: f a
FDL editor aliases :  rset-member rset-member
Latex:
x  \mmember{}  A  ==    A  x


Date html generated: 2016_05_18-AM-08_07_24
Last ObjectModification: 2015_09_23-AM-09_03_39

Theory : reals


Home Index