A family of sets (subsets of of size ) is intersecting if every pair of sets in have a common element. If then every pair of sets intersect, so can be as large as . If then the Erdős–Ko–Rado theorem states that , which (up to relabelling of the ground set) is attained only by the …