Domain of a relation