## Imaginary part of a complex number

### Set

 context $z\in \mathbb C$
 postulate $\mathrm{Im}(z)\equiv \frac{z-\bar z}{2i}$