\begin{definition}[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'''.
\end{definition}