Teorema de Erdős–Ko–Rado

Determina la cardinalidad máxima de una familia de subconjuntos de k elementos de un conjunto de n elementos tal que cada par de subconjuntos de la familia tiene intersección no vacía; en la forma clásica, cuando n ≥ 2k la máxima tamaño es el número de k-subconjuntos que contienen un elemento fijo.