---

a.f[a] is c< preserving on e.P[e] ==
  e,e':{e:E| P[e]} .  ((e < e')  (f[e] < f[e']))

---

Definitions :  all: x:A. B[x],  set: {x:A| B[x]} ,  es-E: E,  implies: P  Q,  es-causl: (e < e')
FDL editor aliases :  causal-order-preserving

---

a.f[a]  is  c<  preserving  on  e.P[e]  ==    \mforall{}e,e':\{e:E|  P[e]\}  .    ((e  <  e')  {}\mRightarrow{}  (f[e]  <  f[e']))


Date html generated: 2010_08_27-AM-09_41_41
Last ObjectModification: 2009_12_17-PM-10_45_14

Home Index