|Also called a surjection or surjective function||Onto function: Every element of the codomain has a preimage|
|1936 , On Computable Numbers, With an Application to the Entscheidungsproblem||, The Undecidable, Raven Press, Hewlett, NY, 1965|
Proceedings of the London Mathematical Society, Series 2, Volume 42 1936.14
|One reason is that 2 is the first element in more than one ordered pair, 2, B and 2, C , of this set||Two other reasons, also sufficient by themselves, is that neither 3 nor 4 are first elements input of any ordered pair therein|
|Theory of recursive functions and effective computation McGraw-Hill 1967||Superadditive function: The value of a sum is greater than or equal to the sum of the values of the summands|
Weierstrass's elliptic functions and Jacobi's elliptic functions.