\begin{definition}[Definition:Proportion]
Two real variables $x$ and $y$ are '''proportional''' {{iff}} one is a constant multiple of the other:
:$\forall x, y \in \R: x \propto y \iff \exists k \in \R, k \ne 0: x = k y$
\end{definition}