---

PairComb() ==
  SimpleComb2(T.True;
              T.True;
              T1,T2.T1  T2;
              v1,v2.if (bag-size(v1) = 1)  (bag-size(v2) = 1)
              then {<only(v1), only(v2)>}
              else {}
              fi )

---

Definitions occuring in Statement :  SimpleComb2: SimpleComb2(T1.P1[T1];T2.P2[T2];T1,T2.F[T1; T2];a,b.H[a; b]),  eq_int: (i = j),  band: p  q,  ifthenelse: if b then t else f fi ,  true: True,  pair: <a, b>,  product: x:A  B[x],  natural_number: $n,  bag-only: only(bs),  bag-size: bag-size(bs),  single-bag: {x},  empty-bag: {}
Definitions :  SimpleComb2: SimpleComb2(T1.P1[T1];T2.P2[T2];T1,T2.F[T1; T2];a,b.H[a; b]),  true: True,  product: x:A  B[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 :  PairComb

---

PairComb()  ==
    SimpleComb2(T.True;
                            T.True;
                            T1,T2.T1  \mtimes{}  T2;
                            v1,v2.if  (bag-size(v1)  =\msubz{}  1)  \mwedge{}\msubb{}  (bag-size(v2)  =\msubz{}  1)
                            then  \{<only(v1),  only(v2)>\}
                            else  \{\}
                            fi  )


Date html generated: 2011_08_17-PM-06_28_56
Last ObjectModification: 2011_01_22-PM-10_11_00

Home Index