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