P_1=\overline{(-\infty,c)\cap P}