En
värdemängd eller
bildmängd kallas inom
matematiken mängden av alla värden en
funktion (
avbildning) kan anta. Det vill säga, givet en funktion
f från mängden
A till mängden
B så är
f(
A) ≡ {
f(
a) |
a ∈
A } värdemängden till
f. Observera att värdemängden till
f inte säkert är samma sak som mängden
B, utan begränsas till de värden som
f verkligen antar; värdemängden är alltså en
delmängd av
B.