---

PropertyNU ==  es:EO+(Info). n,e:E(New).  ((New(e) = New(n))  (e = n))

---

Definitions :  event-ordering+: EO+(Info),  ses-info: Info,  all: x:A. B[x],  es-E-interface: E(X),  implies: P  Q,  atom: Atom$n,  eclass-val: X(e),  ses-new: New,  equal: s = t,  es-E: E
FDL editor aliases :  ses-NU

---

PropertyNU  ==    \mforall{}es:EO+(Info).  \mforall{}n,e:E(New).    ((New(e)  =  New(n))  {}\mRightarrow{}  (e  =  n))


Date html generated: 2010_08_28-AM-02_13_25
Last ObjectModification: 2010_02_22-PM-04_14_44

Home Index