The domain of a relation is the set of all the x-terms of the relation.
If an x-term appears twice in a relation, only list in once in the domain.