Surjection vs Subcountable - What's the difference?
surjection | subcountable |
(set theory) A function of "many-to-one" mapping relationship; more formally, f'': ''X'' → ''Y'' is a surjection if and only if, for every ''y'' in the codomain ''Y'', there is at least one ''x'' in the domain ''X'' with ''f''(''x'') = ''y .
(mathematics) Being the target of a partial surjection from the natural numbers, such that the set of numbers used to count is no larger than the set being counted.
