Théorème D'Erdős–Ko–Rado

Détermine la cardinalité maximale d'une famille de sous-ensembles à k éléments d'un ensemble à n éléments telle que chaque paire de sous-ensembles de la famille a une intersection non vide ; dans la forme classique, si n ≥ 2k la taille maximale est le nombre de k-sous-ensembles contenant un élément fixé.