Real part of a complex number
Set
context
$z\in \mathbb C$
postulate
$\mathrm{Re}(z)\equiv \frac{z+\bar z}{2}$
Ramifications
Parents
Related
Complex conjugate of a complex number