A counterexample to Aharoni's strongly maximal matching conjecture (Q1910586)

Aharoni conjectured that in every family \(A\) of finite sets a subfamily \(B\) of disjoint sets exists, so that no replacement of \(k\) of them by more than \(k\) sets from \(A\) results again in a subfamily of disjoint sets. The authors present as a counterexample the family of those finite subets of the set of natural numbers whose cardinality and smallest element coincide.