---

X  Y = 0 ==  es:EO+(Info). e:E.  (((e  X)  (e  Y)))

---

Definitions :  event-ordering+: EO+(Info),  all: x:A. B[x],  es-E: E,  not: A,  and: P  Q,  assert: b,  in-eclass: e  X
FDL editor aliases :  es-interface-disjoint

---

X  \mcap{}  Y  =  0  ==    \mforall{}es:EO+(Info).  \mforall{}e:E.    (\mneg{}((\muparrow{}e  \mmember{}\msubb{}  X)  \mwedge{}  (\muparrow{}e  \mmember{}\msubb{}  Y)))


Date html generated: 2010_08_27-PM-02_16_30
Last ObjectModification: 2010_01_26-PM-01_29_07

Home Index