member-eclass(es;e;X) == 
(bag-size(X es e) =
0)
Definitions occuring in Statement :
eq_int: (i = j),
bnot: b,
apply: f a,
natural_number: $n,
bag-size: bag-size(bs)
Definitions :
bnot: b,
eq_int: (i = j),
bag-size: bag-size(bs),
apply: f a,
natural_number: $n
FDL editor aliases :
member-eclass
member-eclass(es;e;X) == \mneg{}\msubb{}(bag-size(X es e) =\msubz{} 0)
Date html generated:
2011_08_16-AM-11_29_03
Last ObjectModification:
2011_06_21-PM-07_13_10
Home
Index