Separation by hyperplanes in finite-dimensional vector spaces over Archimedean ordered fields.
The Hahn–Banach theorem implies that if is a one dimensional subspace of a t.v.s. , and is a circled convex body in , there is a continuous linear projection onto with . We determine the sets which have the property of being invariant under projections onto lines through subject to a weak boundedness type requirement.