Real part of a function

Set

 context $f:X\to \mathbb C$
 definiendum $\mathrm{Re}f:X\to\mathbb C$ definiendum $(\mathrm{Re}f)(x):=\mathrm{Re}(f(x))$