其中 为一个顶点在 中，而另一个顶点在 中的边的集合。
"ε"-正则.对于 , 称两个由顶点组成的集合 和 为 -正则，若对任意满足 和 的子集 和 , 都有
"ε"-正则划分.设 为将 分成 份的划分。其称为 -正则划分，若： 利用上述定义，可以写出引理的严格敍述。
正则性引理.对任意的 和正整数 , 存在整数 , 其满足：若 为至少有 个顶点的图，则存在整数 满足 , 和一个 -正则划分将 的顶点集分成 份。引理的证