的子集，使得几乎每两个不同的子集之间的边，都具有随机二部图的性质。塞迈雷迪于 1975 年引入了该引理较弱的版本，其只适用于二部图，用作证明塞迈雷迪定理，后来再于 1978 年证明了完整的版本。 
定义和引理敍述.塞迈雷迪正则性引理的严格敍述须用到下列定义。设 为一幅图，而 为其顶点集。
密度.设 为 的两个互斥子集。定义 的密度为其中 为一个顶点在 中，而另一个顶点在 中的边的集合。
"ε"-正则.对于 , 称两个由顶点组成