Nuprl Definition : surject
Surj(A;B;f) == ∀b:B. ∃a:A. ((f a) = b ∈ B)
Definitions occuring in Statement :
all: ∀x:A. B[x],
exists: ∃x:A. B[x],
apply: f a,
equal: s = t ∈ T
Definitions occuring in definition :
all: ∀x:A. B[x],
exists: ∃x:A. B[x],
equal: s = t ∈ T,
apply: f a
FDL editor aliases :
surject
Latex:
Surj(A;B;f) == \mforall{}b:B. \mexists{}a:A. ((f a) = b)
Date html generated:
2016_05_13-PM-04_05_02
Last ObjectModification:
2015_09_22-PM-05_45_50
Theory : fun_1
Home
Index