---

f is locl-pre-preserving on P ==  f is e,e'.e loc e' -pre-preserving on P

---

Definitions :  rel-pre-preserving: f is R-pre-preserving on P,  lambda: x.A[x],  es-le: e loc e' 
FDL editor aliases :  locl-pre-preserving

---

f  is  locl-pre-preserving  on  P  ==    f  is  \mlambda{}e,e'.e  \mleq{}loc  e'  -pre-preserving  on  P


Date html generated: 2010_08_27-AM-09_39_57
Last ObjectModification: 2009_12_16-AM-08_55_12

Home Index