A family of sets is said to be union-closed if, given any two sets in the family, their union is as well. Here’s an example:

{}, {1,3}, {2}, {1,2,3}, {1,2,3,4}

Combine any two of those sets and you’ll get a member of the same family.

Now, provided our family is finite and consists of more than just the empty set, is there always an element that’s present in at least half of the sets? In the example above, the answer is yes: The element 2 appears in three of the five sets.

Will this always be the case? Strange to say, no one knows. Though the problem is almost absurdly simple to state, it has remained unsolved since Péter Frankl first posed it in 1979.

Henning Bruhn and Oliver Schaudt survey the state of the inquiry here. “The union-closed sets conjecture still has a bit of a journey ahead of it,” they conclude. “We hope it will be an exciting trip.”

(Thanks, Drake.)