超正则图

对于图的顶点 ，设 和 分别表示由与 相邻和不相邻的图的顶点诱导的 的子图。空图被定义为超正则图，并且如果 是正则图，且对于所有 ， 和 都是超正则图，则称 是超正则图。

超正则图精确地是 、 ()、 () 以及这些图的补图，其中 是一个循环图， 是一个完全图， 是 个 的不相交副本，而 是 与自身的笛卡尔积（其图的顶点集由排列在 正方形中的 个图的顶点组成，当且仅当它们在同一行或同一列时，两个图的顶点相邻）。