Positively Convex Modules and Ordered Normed Linear Spaces

A positively convex module is a non-empty set closed under positively convex combinations but not necessarily a subset of a linear space. Positively convex modules are a natural generalization of positively convex subsets of linear spaces. Any positively convex module has a canonical semimetric and there is a universal positively affine mapping into a regularly ordered normed linear space and a universal completion