---

(X,Y) ==
  eclass-compose2(xs,ys.
                   if (bag-size(xs) = 1)  (bag-size(ys) = 1)
                   then {<only(xs), only(ys)>}
                   else {}
                   fi ;X;Y)

---

Definitions occuring in Statement :  eclass-compose2: eclass-compose2(f;X;Y),  eq_int: (i = j),  band: p  q,  ifthenelse: if b then t else f fi ,  lambda: x.A[x],  pair: <a, b>,  natural_number: $n,  bag-only: only(bs),  bag-size: bag-size(bs),  single-bag: {x},  empty-bag: {}
Definitions :  eclass-compose2: eclass-compose2(f;X;Y),  lambda: x.A[x],  ifthenelse: if b then t else f fi ,  band: p  q,  eq_int: (i = j),  bag-size: bag-size(bs),  natural_number: $n,  single-bag: {x},  pair: <a, b>,  bag-only: only(bs),  empty-bag: {}
FDL editor aliases :  es-interface-pair

---

(X,Y)  ==
    eclass-compose2(\mlambda{}xs,ys.
                                      if  (bag-size(xs)  =\msubz{}  1)  \mwedge{}\msubb{}  (bag-size(ys)  =\msubz{}  1)
                                      then  \{<only(xs),  only(ys)>\}
                                      else  \{\}
                                      fi  ;X;Y)


Date html generated: 2011_08_16-PM-05_35_09
Last ObjectModification: 2011_01_16-PM-10_02_04

Home Index