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-locl: (e <loc e'),
es-le: e loc e'
FDL editor aliases :
existse-between3
\mexists{}e\mmember{}(e1,e2].P[e] == \mexists{}e:E. (((e1 <loc e) \mwedge{} e \mleq{}loc e2 ) c\mwedge{} P[e])
Date html generated:
2010_08_27-AM-09_29_13
Last ObjectModification:
2009_12_16-AM-01_04_36
Home
Index