Union-closed family (source code)

= Union-closed family

A set family $\mathcal A$ is union-closed when $A\cup B\in\mathcal A$ for every $A,B\in\mathcal A$.