超正則圖

對於圖的頂點 ，設 和 分別表示由與 相鄰和不相鄰的圖的頂點誘導的 的子圖。空圖被定義為超正則圖，並且如果 是正則圖，且對於所有 ， 和 都是超正則圖，則稱 是超正則圖。

超正則圖精確地是 、 ()、 () 以及這些圖的補圖，其中 是一個迴圈圖， 是一個完全圖， 是 個 的不相交副本，而 是 與自身的笛卡爾積（其圖的頂點集由排列在 正方形中的 個圖的頂點組成，當且僅當它們在同一行或同一列時，兩個圖的頂點相鄰）。