Nuprl Definition : locl-pre-preserving
f is locl-pre-preserving on P == f is λe,e'. e ≤loc e' -pre-preserving on P
Definitions occuring in Statement :
rel-pre-preserving: f is R-pre-preserving on P,
es-le: e ≤loc e' ,
lambda: λx.A[x]
FDL editor aliases :
locl-pre-preserving
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:
2015_07_17-AM-09_03_44
Last ObjectModification:
2013_03_25-PM-01_56_12
Home
Index