Mitt favoritt åpne problem: Formodning (Frankl). La X være en endelig mengde, og la S ⊆ P(X) være en samling delmengder av X som er lukket under union. Hvis S≠∅ og S≠{∅}, så vises noe element x∈X i minst halvparten av elementene i S, dvs. 2|{s ∈ S : x ∈ s}| ≥ |S|.