---

e c e' ==  (e < e')  (e = e')

---

Definitions :  or: P  Q,  es-causl: (e < e'),  equal: s = t,  es-E: E
FDL editor aliases :  es-causle

---

e  c\mleq{}  e'  ==    (e  <  e')  \mvee{}  (e  =  e')


Date html generated: 2010_08_27-AM-01_08_30
Last ObjectModification: 2009_12_16-AM-12_38_43

Home Index