Nuprl Definition : member-eclass
e ∈b X == ¬b(#(X es e) =z 0)
Definitions occuring in Statement :
bnot: ¬bb,
eq_int: (i =z j),
apply: f a,
natural_number: $n,
bag-size: #(bs)
FDL editor aliases :
member-eclass
Latex:
e \mmember{}\msubb{} X == \mneg{}\msubb{}(\#(X es e) =\msubz{} 0)
Date html generated:
2016_05_16-PM-01_27_33
Last ObjectModification:
2012_05_02-PM-02_05_34
Theory : event-ordering
Home
Index