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