Tensor products of ordered modules

I will discuss tensor products of ordered modules and some of their algebraic and category-theoretical properties. At first I will define ordered groups, rings and modules, their homomorphisms, etc. Thereafter I shall define and provide a construction for tensor products of ordered modules. And finally we will look at some properties of tensor products, perhaps the most interesting among these is the fact that the tensor product functor is a left adjoint functor.