The union-closed sets conjecture, also known as Frankl's conjecture, states that any finite family of sets that is closed under unions, except for the set containing only the empty set, has an element that belongs to at least half of the sets in the family.