Distinct Set Relation
See:
Disjoint Set Relation
.