e
[e1,e2).P[e] == e:E. ((e1 
loc e 
(e <loc e2)) c P[e])
Definitions :
exists: x:A. B[x],
es-E: E,
cand: A c B,
and: P Q,
es-le: e loc e' ,
es-locl: (e <loc e')
FDL editor aliases :
existse-between1
\mexists{}e\mmember{}[e1,e2).P[e] == \mexists{}e:E. ((e1 \mleq{}loc e \mwedge{} (e <loc e2)) c\mwedge{} P[e])
Date html generated:
2010_08_27-AM-09_28_35
Last ObjectModification:
2009_12_16-AM-01_03_21
Home
Index