'''Dziedzina relacji''' (dwuczłonowej) – [[zbiór]] wszystkich możliwychpoprzedników [[argumentpara uporządkowana|argumentówpar]] należących do danej [[funkcjarelacja (matematyka)|funkcjirelacji]]. Ogólniej,W dziedzinaszczególności [[relacja'''dziedziną (matematyka)|relacji]]funkcji''' (dwuczłonowej)nazywa tosię [[zbiór]] wszystkich poprzedników par należących do[[argument]]ów danej relacji[[funkcja (matematyka)|funkcji]].
==Dziedzina naturalna==
Często, podając wzórDla funkcji [[liczby rzeczywiste|rzeczywistej]] (lub [[liczby zespolone|zespolonej]]),przyjmujemydla której dziedzina nie została ''explicite'' określona przyjmuje się, że dziedzinąjest jestnią ''największy'' (w sensie [[inkluzja (matematyka)|inkluzji]]) podzbiór zbioru liczb rzeczywistych (lub odpowiednio zespolonych), dla którego wzór funkcji ma sens. ŚciślejTaką jestdziedzinę to dziedzina naturalna. W literaturze możnanazywa się spotkać'''dziedziną z oznaczeniami typu <math>\operatorname{Dom}(f)=\R</math>. Mówi ono o tym, że funkcja <math>f</math> jest określona na zbiorze liczb rzeczywistychnaturalną'''.
==Oznaczenia==
Zapis <math>\operatorname{Dom}(f)=\X</math> oznacza, że funkcja <math>f</math> jest określona na zbiorze <math>X</math>.