---

glued(es;B;f;Ia;Ib) ==  g:E(Ib)  E. g glues Ia f Ib

---

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

---

glued(es;B;f;Ia;Ib)  ==    \mexists{}g:E(Ib)  {}\mrightarrow{}  E.  g  glues  Ia  {}{}f{}\mrightarrow{}  Ib


Date html generated: 2010_08_27-PM-03_21_44
Last ObjectModification: 2009_12_16-AM-08_56_58

Home Index