Mein Lieblingsproblem: Vermutung (Frankl). Sei X eine endliche Menge, und sei S ⊆ P(X) eine Sammlung von Teilmengen von X, die unter Vereinigung abgeschlossen ist. Wenn S≠∅ und S≠{∅} ist, dann erscheint ein Element x∈X in mindestens der Hälfte der Elemente von S, d.h. 2|{s ∈ S : x ∈ s}| ≥ |S|.