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