Definition:Positive Real Vector Space

Definition
Let $\R_{\ge 0}$ be the set of positive real numbers.

Then the $\R_{\ge 0}$-module $\R_{\ge 0}^n$ is called the positive real ($n$-dimensional) vector space.