---

X;Y ==  es,e.if e  (X)'  e  Y then {<(X)'(e), Y(e)>} else {} fi 

---

Definitions occuring in Statement :  es-prior-val: (X)',  eclass-val: X(e),  in-eclass: e  X,  band: p  q,  ifthenelse: if b then t else f fi ,  lambda: x.A[x],  pair: <a, b>,  single-bag: {x},  empty-bag: {}
Definitions :  lambda: x.A[x],  ifthenelse: if b then t else f fi ,  band: p  q,  in-eclass: e  X,  single-bag: {x},  pair: <a, b>,  es-prior-val: (X)',  eclass-val: X(e),  empty-bag: {}
FDL editor aliases :  es-interface-pair-prior

---

X;Y  ==    \mlambda{}es,e.if  e  \mmember{}\msubb{}  (X)'  \mwedge{}\msubb{}  e  \mmember{}\msubb{}  Y  then  \{<(X)'(e),  Y(e)>\}  else  \{\}  fi 


Date html generated: 2011_08_16-PM-05_38_11
Last ObjectModification: 2011_01_16-PM-03_57_33

Home Index