Dziedzina relacji (dwuczłonowej) – zbiór wszystkich poprzedników
par należących do danej
relacji. W szczególności
dziedziną funkcji nazywa się
zbiór wszystkich dopuszczalnych
argumentów danej
funkcji, lub – dla funkcji wieloargumentowej – zbiór par, trójek lub ogólnie krotek jej argumentów.