Nuprl Definition : in-eclass
e ∈b X ==  (#(X eo e) =z 1)
Definitions occuring in Statement : 
eq_int: (i =z j)
, 
apply: f a
, 
natural_number: $n
, 
bag-size: #(bs)
FDL editor aliases : 
in-eclass
Latex:
e  \mmember{}\msubb{}  X  ==    (\#(X  eo  e)  =\msubz{}  1)
Date html generated:
2016_05_16-PM-02_18_26
Last ObjectModification:
2012_02_25-PM-01_18_15
Theory : event-ordering
Home
Index