Nuprl Definition : es-locl-op
LocalOrderPreserving(f) == order-preserving(T;E;e1,e2.(e1 <loc e2);e1,e2.(e1 <loc e2);f)
Definitions occuring in Statement :
es-locl: (e <loc e'),
es-E: E,
order-preserving: order-preserving(A;B;a1,a2.R1[a1; a2];b1,b2.R2[b1; b2];f)
FDL editor aliases :
es-locl-op
es-locl-op
LocalOrderPreserving(f) == order-preserving(T;E;e1,e2.(e1 <loc e2);e1,e2.(e1 <loc e2);f)
Date html generated:
2015_07_17-AM-08_38_10
Last ObjectModification:
2013_03_25-PM-01_46_45
Home
Index