\begin{definition}[Definition:Complex Number/Definition 2]
A '''complex number''' is an ordered pair $\tuple {x, y}$ where $x, y \in \R$ are real numbers, on which the operations of addition and multiplication are defined as follows:
\end{definition}