Union-closed sets conjecture (source code)

= Union-closed sets conjecture
{wiki}

The union-closed sets conjecture states that every finite nontrivial <union-closed family> has an element contained in at least half of its members.