Distinct Set Relation

See: Disjoint Set Relation.