Noun
codomain (plural codomains)
(mathematics, mathematical analysis) The target set into which a function is formally defined to map elements of its domain; the set denoted Y in the notation f : X → Y.
A relation from a domain A to a codomain B is a subset of the Cartesian product A × B. Given this concept, we are quick to see that the set F of all ordered pairs (x, x 2 ), where x is real, is quite familiar. Source: Internet
Every permutation of S has the codomain equal to its domain and is bijective and invertible. Source: Internet
; Endomorphism : A homomorphism, h: G → G; the domain and codomain are the same. Source: Internet
Examining the differences between the image and codomain can often be useful for discovering properties of the function in question. Source: Internet
Examples A non-surjective function from domain X to codomain Y. The smaller oval inside Y is the image (also called range ) of f. This function is not surjective, because the image does not fill the whole codomain. Source: Internet
Formal definition Given a function f:X→Y, the set X is the domain of f; the set Y is the codomain of f. In the expression f(x), x is the argument and f(x) is the value. Source: Internet