Nuprl Definition : biject
Bij(A;B;f) == Inj(A;B;f) ∧ Surj(A;B;f)
Definitions occuring in Statement :
surject: Surj(A;B;f),
inject: Inj(A;B;f),
and: P ∧ Q
Definitions occuring in definition :
and: P ∧ Q,
inject: Inj(A;B;f),
surject: Surj(A;B;f)
FDL editor aliases :
biject
Latex:
Bij(A;B;f) == Inj(A;B;f) \mwedge{} Surj(A;B;f)
Date html generated:
2016_05_13-PM-04_05_04
Last ObjectModification:
2015_09_22-PM-05_45_50
Theory : fun_1
Home
Index