Union and intersection of set families
ID: union-and-intersection-of-set-families
For set families, and . These are families of distinct sets, rather than multisets indexed by pairs. The four functions theorem gives . Complementing one input family yields the analogous product bound for pairwise set differences.
New to topics? Read the docs here!