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:
2016_05_17-AM-08_00_02
Last ObjectModification:
2012_02_25-PM-03_07_27
Theory : event-ordering
Home
Index