Idiom # 187: Disjoint Set
Defining disjoint sets of elements of some type is the same as dividing them into equivalence classes, which require predicate to check equality. This is work in progress for Fuzion, background and guiding principles are given at Design / Equality.