P_2\ominus S =S^{\bot}