Separation Properties for Locally Convex Cones

We introduce an order relation on a locally convex cone

which implies the strict separation property for continuous linear functionals. Using this order we establish representations for

\mathcal{P} P

as a cone of extended real-valued functions and as a cone of convex subsets of a vector space.