Målmängd

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

En målmängd eller kodomän är inom matematiken den mängd som en funktions värdemängd är en delmängd av.

För en funktion $f:X\to Y$ är $Y$ målmängden, medan $X$ är definitionsmängden.

Exempel

Låt $f$ vara en funktion över de reella talen med definitionen $f(x)=x^{2}$, med definitionsmängden $\mathbb {Z}$ (alla heltal). $x$ kan alltså vara alla heltal, både negativa och positiva inklusive 0, men $f(x)$ kan endast vara icke-negativ – även om $x$ är negativt: om exempelvis $x=-1$, är $f(x)=(-1)^{2}=1$. Funktionen $f$:s värdemängd är därmed alla tal som kan skrivas som $k^{2}$ för något icke-negativt heltal $k$, men målmängden kan tas att vara vilken mängd som helst som innehåller dessa, exempelvis alla naturliga tal, alla heltal eller alla rationella tal.