若集合 A 包含集合 B，则条件概率必须满足 P(Y ∈ A | X) ≥ P(Y ∈ B | X)，约束估计量据此强制包含一致性。