The union-closed sets conjecture
Research level
A finite family of finite sets is union-closed if the union of any two members is again a member. Prove that every finite union-closed family that contains at least one nonempty set has an element lying in at least half of the sets of the family.