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
e \mmember{}\msubb{} X == \mneg{}\msubb{}(\#(X es e) =\msubz{} 0)
Date html generated:
2015_07_17-PM-00_14_21
Last ObjectModification:
2012_05_02-PM-02_05_34
Home
Index