===== Complex conjugate of a function =====
==== Set ====
| @#55CCEE: context     | @#55CCEE: $f:X\to\mathbb C$ |

| @#FFBB00: definiendum | @#FFBB00: $ \overline f:X\to\mathbb C$ |
| @#FFBB00: definiendum | @#FFBB00: $ \overline f(x):=\overline{f(x)} $ |

==== Ramifications ====
Put differently 

$\overline f\equiv \mathrm{conj}\circ f$
==== Parents ====
=== Context ===
[[Complex conjugate of a complex number]]