# Definition:Positive Real Vector Space

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.