图兰定理

设 为一个 图，具有 图顶点 和 图边 ，在 个 图顶点 上，且不含 -团。则

其中 是 边计数。（注意 Aigner (1995) 的约定，即考虑 -团，已被考虑 -团的表面上稍微更标准的索引所取代，这与 图兰图 的常用定义保持一致。）

图兰图 被定义为唯一的 图，不含 -团，并具有最大可能数量的 图边，即

其中 表示 向下取整函数。