Vấn đề mở yêu thích của tôi: Đoán (Frankl). Gọi X là một tập hữu hạn, và gọi S ⊆ P(X) là một tập hợp các tập con của X mà đóng dưới phép hợp. Nếu S≠∅ và S≠{∅}, thì ít nhất một phần tử x∈X xuất hiện trong ít nhất một nửa số phần tử của S, tức là 2|{s ∈ S : x ∈ s}| ≥ |S|.