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

| @#55EE55: postulate   | @#55EE55: $\mathrm{Im}(z)\equiv \frac{z-\bar z}{2i}$ |

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