---

Singlevalued(X) ==  eo:EO+(Info). e:E.  (bag-size(X eo e)  1)

---

Definitions occuring in Statement :  event-ordering+: EO+(Info),  es-E: E,  le: A  B,  all: x:A. B[x],  apply: f a,  natural_number: $n,  bag-size: bag-size(bs)
Definitions :  event-ordering+: EO+(Info),  all: x:A. B[x],  es-E: E,  le: A  B,  bag-size: bag-size(bs),  apply: f a,  natural_number: $n
FDL editor aliases :  sv-class

---

Singlevalued(X)  ==    \mforall{}eo:EO+(Info).  \mforall{}e:E.    (bag-size(X  eo  e)  \mleq{}  1)


Date html generated: 2011_08_16-AM-11_31_27
Last ObjectModification: 2011_01_14-PM-05_57_37

Home Index