En
definitionsmängd är inom
matematiken en beskrivning av alla möjliga invärden eller
argument till en
funktion. Givet en funktion
f:
A →
B, så kallas
mängden A definitionsmängden till
f. Mängden av alla värden som
f antar kallas
värdemängden till
f, eller
f(
A).