In de wiskunde bestaat het domein van een relatie tussen twee verzamelingen uit de elementen die als eerste element in de koppels van de relatie voorkomen. Het domein van een afbeelding of functie is het definitiegebied van de functie, dus de verzameling waarop de functie gedefinieerd is. Deze omvat dus alle geldige invoerelementen van deze functie.