---

e  X ==  (bag-size(X eo e) = 1)

---

Definitions occuring in Statement :  eq_int: (i = j),  apply: f a,  natural_number: $n,  bag-size: bag-size(bs)
Definitions :  eq_int: (i = j),  bag-size: bag-size(bs),  apply: f a,  natural_number: $n
FDL editor aliases :  in-eclass

---

e  \mmember{}\msubb{}  X  ==    (bag-size(X  eo  e)  =\msubz{}  1)


Date html generated: 2011_08_16-AM-11_30_43
Last ObjectModification: 2011_01_14-PM-02_38_54

Home Index