Mathematics · Ch 14 — Sets and Relations
Maximum and Minimum of n(A∪B) and n(A∩B)
14.1.5.6
Maximum and Minimum of n(A∪B) and n(A∩B)
When only and are known (but not the exact overlap between A and B), the union and intersection counts are still bounded within a predictable range:
- — the union can never be smaller than the larger of the two individual sets (since that larger set alone is already a subset of the union).
- — the union can never exceed the sum of the two counts, which happens exactly when A and B are disjoint (no overlap at all).
- — the intersection can be as small as empty (no overlap).
- — the intersection can never exceed the smaller of the two sets (since the overlap is, at most, that entire smaller set). For example, if and : and , so . Also and , so . …