圖蘭定理

設 為一個 圖，具有 圖頂點 和 圖邊 ，在 個 圖頂點 上，且不含 -團。則

其中 是 邊計數。（注意 Aigner (1995) 的約定，即考慮 -團，已被考慮 -團的表面上稍微更標準的索引所取代，這與 圖蘭圖 的常用定義保持一致。）

圖蘭圖 被定義為唯一的 圖，不含 -團，並具有最大可能數量的 圖邊，即

其中 表示 向下取整函式。