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

Latex:
LocalOrderPreserving(f) == order-preserving(T;E;e1,e2.(e1 <loc e2);e1,e2.(e1 <loc e2);f) Date html generated: 2016_05_16-AM-09_21_23 Last ObjectModification: 2013_03_25-PM-01_46_45 Theory : new!event-ordering Home Index