===== Real part of a complex number =====
==== Set ====
| @#55CCEE: context     | @#55CCEE: $z\in \mathbb C$ |

| @#55EE55: postulate   | @#55EE55: $\mathrm{Re}(z)\equiv \frac{z+\bar z}{2}$ |

==== Ramifications ====
==== Parents ====
=== Related ===
[[Complex conjugate of a complex number]]