Erdős–Ko–Rado-Satz

Bestimmt die maximale Kardinalität einer Familie von k-Element-Teilmengen einer n-Element-Menge, sodass jedes Paar von Teilmengen eine nichtleere Schnittmenge hat; in der klassischen Form ist für n ≥ 2k die maximale Größe die Anzahl der k-Teilmengen, die ein festes Element enthalten.