===== Complex conjugate of a complex number =====
==== Set ====
| @#55CCEE: context     | @#55CCEE: $X\subseteq\mathbb C$ 

| @#55EE55: postulate   | @#55EE55: $\mathrm{conj}:X\to \mathbb C$ |

| $a+i\ b\in X$ | $a,b\in \mathbb R$ |

| @#55EE55: postulate   | @#55EE55: $\mathrm{conj}(a+i\ b):= a-i\ b$ |
==== Ramifications ====
If $z\in \mathbb C$, one writes $\overline z\equiv\mathrm{conj}(z)$.
==== Parents ====
=== Related ===
[[Complex number]]