Complex number
Set
definiendum | $ \mathbb C \equiv \mathbb R^2 $ |
Discussion
We write the complex numbers as $a+ib\equiv\langle a,b\rangle$, where $a,b\in\mathbb R$. The complex numbers are then set up as a field with $i^2=-1$, see arithmetic structure of complex numbers. We identify the real numbers within $\mathbb C$ as the set of elements of the form $\langle a,0\rangle=a+i0=a$.
Reference
Wikipedia: Complex number