Nuprl Definition : glued
glued(es;B;f;Ia;Ib) == ∃g:E(Ib) ─→ E. g glues Ia ──f─→ Ib
Definitions occuring in Statement :
glues: g glues Ia ──f─→ Ib,
es-E-interface: E(X),
es-E: E,
exists: ∃x:A. B[x],
function: x:A ─→ B[x]
FDL editor aliases :
glued
Latex:
glued(es;B;f;Ia;Ib) == \mexists{}g:E(Ib) {}\mrightarrow{} E. g glues Ia {}{}f{}\mrightarrow{} Ib
Date html generated:
2015_07_21-PM-04_14_39
Last ObjectModification:
2012_02_25-PM-03_07_27
Home
Index