---

Ia:Qa f  Ib:Rb ==  g:E(Ib)  E. g glues Ia:Qa f Ib:Rb

---

Definitions :  exists: x:A. B[x],  function: x:A  B[x],  es-E-interface: E(X),  es-E: E,  Q-R-glues: g glues Ia:Qa f Ib:Rb
FDL editor aliases :  Q-R-glued

---

Ia:Qa  \mrightarrow{}{}f{}\mrightarrow{}    Ib:Rb  ==    \mexists{}g:E(Ib)  {}\mrightarrow{}  E.  g  glues  Ia:Qa  {}{}f{}\mrightarrow{}  Ib:Rb


Date html generated: 2010_08_27-PM-03_20_29
Last ObjectModification: 2009_12_16-AM-08_56_10

Home Index