---

le(X) ==  (es,e.e  X)

---

Definitions :  es-local-le-pred: (P),  lambda: x.A[x],  in-eclass: e  X
FDL editor aliases :  es-le-interface

---

le(X)  ==    \mleq{}(\mlambda{}es,e.e  \mmember{}\msubb{}  X)


Date html generated: 2010_08_27-PM-02_29_17
Last ObjectModification: 2010_02_15-PM-08_23_51

Home Index