Nuprl Definition : injection
A →⟶ B == {f:A ⟶ B| Inj(A;B;f)}
Definitions occuring in Statement :
inject: Inj(A;B;f),
set: {x:A| B[x]} ,
function: x:A ⟶ B[x]
Definitions occuring in definition :
set: {x:A| B[x]} ,
function: x:A ⟶ B[x],
inject: Inj(A;B;f)
FDL editor aliases :
injection
Latex:
A \mrightarrow{}{}\mrightarrow{} B == \{f:A {}\mrightarrow{} B| Inj(A;B;f)\}
Date html generated:
2016_05_15-PM-06_10_47
Last ObjectModification:
2015_09_23-AM-08_02_01
Theory : general
Home
Index