力迫条件(forcing condition)是公理集合论术语，指用于力迫构造的偏序集的元素。美国数学家科恩(Cohen,P.J.)对力迫条件的原始定义形为nEa或n诺a的有限协调公式集，这里a代表用于兼纳扩充的兼纳集(或代表兼纳集的名)，，，为自然数.因此，每个力迫条件就给出了兼纳集元素构成的一个局部情况，由于兼纳扩充模型M [G]由兼纳集G所决定，因此，一定的力迫条件可以确定出兼纳模型中具有或者不具有某种性质，一列适当的力迫条件无穷序列可以确定出兼纳扩充M[G]中的所有性质，这种力迫条件序列称为完备力迫条件序列.现代力迫法对力迫条件的定义由科恩的原始定义抽象与简化而得.设<P, })为用于力迫构造的偏序集，p,qEP为两个力迫条件，若p<q，则称p强于q，若存在rEP使r毛p且r毛q"，则称p与q相容，否则称为不相容，记为p土q.