0 Comments
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.