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

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

==== Discussion====
==== Parents ====
=== Context ===
[[Real part of a complex number]]