---

es-prior-match(R; X; Y) ==
  es,e.
   if (e  (X)'  e  Y)  (R (X)'(e) Y(e))
   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 ,  apply: f a,  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,  apply: f a,  single-bag: {x},  pair: <a, b>,  es-prior-val: (X)',  eclass-val: X(e),  empty-bag: {}

---

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


Date html generated: 2011_08_16-PM-05_41_16
Last ObjectModification: 2011_01_16-PM-03_39_20

Home Index