Worked source pairs: human/rational = equality; human/horse = disjointness; animal/human = absolute inclusion; animal/white = partial overlap. The criterion matters more than the label: same individuals, none shared, one-way inclusion, or three regions respectively.
Opening interactive controls...
Worked set: four textbook pairs
Four Relations Between Universal Concepts
Worked source pairs: human/rational = equality; human/horse = disjointness; animal/human = absolute inclusion; animal/white = partial overlap. The criterion matters more than the label: same individuals, none shared, one-way inclusion, or three regions respectively.