It means that the domain of the relation is the set of such elements for which there exists such an element that and are related.
9.4m questions
12.2m answers