Template:Doc disjoint union/text

Instances of that are instances of two (or more) of the classes: