---

es-seq(es;S) ==  e1,e2:E.  (e1 before e2  S  ((e2 < e1)))

---

Definitions :  all: x:A. B[x],  implies: P  Q,  l_before: x before y  l,  es-E: E,  not: A,  es-causl: (e < e')
FDL editor aliases :  es-seq

---

es-seq(es;S)  ==    \mforall{}e1,e2:E.    (e1  before  e2  \mmember{}  S  {}\mRightarrow{}  (\mneg{}(e2  <  e1)))


Date html generated: 2010_08_27-AM-09_35_34
Last ObjectModification: 2009_12_16-AM-01_26_24

Home Index