LocalOrderPreserving(f) ==
order-preserving(T;E;e1,e2.(e1 <loc e2);e1,e2.(e1 <loc e2);f)
Definitions :
order-preserving: order-preserving(A;B;a1,a2.R1[a1; a2];b1,b2.R2[b1; b2];f),
es-E: E,
es-locl: (e <loc e')
FDL editor aliases :
es-locl-op
LocalOrderPreserving(f) == order-preserving(T;E;e1,e2.(e1 <loc e2);e1,e2.(e1 <loc e2);f)
Date html generated:
2010_08_27-AM-01_09_23
Last ObjectModification:
2009_12_16-AM-12_41_31
Home
Index