Målmängd

En målmängd eller kodomän är inom matematiken den mängd som innehåller alla tillåtna utvärden för en viss funktion. Detta kan jämföras med värdemängden, som är funktionens faktiska utvärden och därmed är en delmängd av målmängden.

Illustration av en funktion $f$:s definitionsmängd (grön), målmängd (grå) och värdemängd (gul)

När en funktion deklareras enligt notationen $f:X\to Y$, så är $X$ definitionsmängden och $Y$ är målmängden.

Exempel

Låt $f$ vara en funktion från heltalen till de reella talen, där utvärdet ges av formeln $f(x)=x^{2}$. Notera att $f(x)$ i praktiken bara kan bli ett positivt heltal eller 0. Mer specifikt är värdemängden alla tal som kan skrivas som $k^{2}$ för något icke-negativt heltal $k$. Men dessa begränsningar är inte är inbyggda i funktionens definition; målmängden är alltså fortfarande alla reella tal.