在微分几何中，对于由微分 1 - 形式构成的 Pfaff 方程组，对合条件定义如下：

直观理解，对合条件描述了这些微分 1 - 形式的外微分与它们自身外积之间的一种线性关系。满足对合条件的 Pfaff 方程组，其解具有良好的几何结构，可确定相应的积分流形（由弗罗贝尼乌斯定理保证 ），即在流形上存在子流形使得这些微分 1 - 形式在子流形上取值为零 。

实际问题中，流形维数n 、Pfaff 组中方程个数可能不同，计算过程会根据具体情况有所变化，但总体思路都是围绕上述步骤展开。

这种基于定义的验证方法较为直接，但在高维或方程个数较多时，计算量会非常大，所以实际应用中也会结合其他方法辅助证明。