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
Latex:
f  is  locl-pre-preserving  on  P  ==    f  is  \mlambda{}e,e'.  e  \mleq{}loc  e'  -pre-preserving  on  P
Date html generated:
2016_05_16-AM-10_20_23
Last ObjectModification:
2013_03_25-PM-01_56_12
Theory : new!event-ordering
Home
Index