设 $𝑃\left(𝑡,{𝑡}^{\prime }\right)$ 是关于一对项的性质。如果对 [定义] 一步归约 的每一条规则都有：“前提里的每个 ${𝑡}_1⟶{𝑡}_{1^{\prime }}$ 都满足 $𝑃\left({𝑡}_1,{𝑡}_{1^{\prime }}\right)$”能推出“结论满足 $𝑃$”，那么所有满足 $𝑡⟶{𝑡}^{\prime }$ 的 $\left(𝑡,{𝑡}^{\prime }\right)$ 都满足 $𝑃$。