distinct relation
The distinct relation defines a number of subsets of a super set as distinct. Defining a distinct union relation describes the division of a superset into a set of distinct subsets.
Generalisations: set relation
The distinct relation defines a number of subsets of a super set as distinct. Defining a distinct union relation describes the division of a superset into a set of distinct subsets.