domain of a relation