di regularity lemma）断言，给定任意一个足够大的图，都可以将其顶点集划分成若干个差不多一样大的子集，使得几乎每两个不同的子集之间的边，都具有随机二部图的性质。塞迈雷迪于 1975 年引入了该引理较弱的版本，其只适用于二部图，用作证明塞迈雷迪定理，后来再于 1978 年证明了完整的版本。 
定义和引理敍述.塞迈雷迪正则性引理的严格敍述须用到下列定义。设 为一幅图，而 为其顶点集。
密度.设 为 的两个互斥子集。定义 的密度为其中 为一个