set-theory Definition Domain (Relation ) Let R b a relation. Then the domain of R is defined as: dom(R)={x:∃y(x,y)∈R}