Codomein

In de wiskunde is het codomein, of doel, van een functie of afbeelding ${\displaystyle f:X\to Y}$ de verzameling ${\displaystyle Y}$ waarin de beelden van de functie liggen. Het bereik van een functie is een deelverzameling van het codomein en bestaat uit de beelden van de elementen van het domein.

Volgens de precieze definitie is een functie een drietal ${\displaystyle (X,Y,G)}$, waarin

${\displaystyle G\subseteq X\times Y}$

met de eigenschap dat er voor ieder element ${\displaystyle a\in X}$ precies één element ${\displaystyle b\in Y}$ is waarvoor ${\displaystyle (a,b)\in G}$.

De verzameling ${\displaystyle X}$ heet daarbij het domein, of definitiegebied, van de functie ${\displaystyle f}$, de verzameling ${\displaystyle Y}$ het codomein en de verzameling ${\displaystyle G}$ de grafiek van de functie. Volgens deze definitie zijn twee functies met dezelfde grafiek, dus ook met hetzelfde domein, verschillend als ze een verschillend codomein hebben. In de praktijk is dit verschil niet altijd belangrijk, als het codomein maar het bereik bevat.

Het is om te bepalen dat een functie surjectief is natuurlijk wel van belang dat het codomein precies is bepaald.