↓
Disjunctive normal form
Distributivity of sets
This page is also available via Gemini at gemini://dcreager.net/sets/