P x = P - { a ∣ a ≥ x }