Separation by hyperplanes in finite-dimensional vector spaces over Archimedean ordered fields.
An elementary construction for an abundance of vector topologies on a fixed infinite dimensional vector space such that has not the Hahn-Banach extension property but the topological dual separates points of from zero is given.