P x = P - { a ∣ a ≥ x } P_x = P - \{ a\mid a \geq x\}