sagt aus, daß für r, n ≥ 2 der GraphT_r(n) der eindeutige kantenmaximale Graph der Ordnung n ist, der keinen vollständigen Graphen K_r+1 der Ordnung r + 1 als Teilgraphen enhält.

Dabei ist der sogenannte Turansche Graph T_r(n) der vollständige r-partite Graph, dessen Partitionsmengen für 1 ≤ i ≤ r jeweils die Kardinalität \(\lfloor \frac{n+i-1}{r}\rfloor \) haben.

Turán bewies diesen Satz 1941. Man erkennt leicht, daß der T_r(n) mindestens \(\left(1-\frac{1}{r}\right)\binom{n}{2}\) Kanten enthält. Ein Graph der Ordnung n mit mehr Kanten als T_r(n) enthält also zwangsläufig einen K_r+1 als Teilgraphen.

Der Satz von Erdos-Stone (Erdos-Stone, Satz von) verschärft diese letzte Aussage wesentlich.