Before revision:  The O -kernel of P{\rm  -}{\rm   is the subset of points which \mathcal{O}-see all the other points in P.
After revision:  The O -kernel of P{\rm -}{\rm (P), is the subset of points which \mathcal{O}-see all the other points in P.