Sauer–Shelah lemma
In combinatorial mathematics and extremal set theory, the Sauer–Shelah lemma states that every family of sets with small VC dimension consists of a small number of sets. Here, the VC dimension is the largest size k {\displaystyle k} of a set with the property that all of its subsets can be formed by intersecting it with a member of the family.