A Universal Compactification of Topological Positively Convex Sets

A topological positively convex set is a positively convex subset of a topological real linear space with the induced topology. Topological positively convex modules are a canonical generalization defined without the requirement to be a subset of a linear space. For any topological positively convex module or set there is a universal continuous positively affine mapping to a regularly ordered Saks space yielding the universal compactification