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)) $

Discussion

Parents

Context

Real part of a complex number