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 of the polygon P, denoted by \mathcal{O-}{\rm is the subset of points which \mathcal{O}-see all the other points in P.