Complex conjugate of a function

Set

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

Ramifications

Put differently

$\overline f\equiv \mathrm{conj}\circ f$

Parents

Context

Complex conjugate of a complex number