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