Imaginary part of a function

Set

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

Discussion

Parents

Context

Imaginary part of a complex number

Link to graph
Log In
Improvements of the human condition
limeGraphxioms