Let $f : X \to Y$ be a D18: Map.
A D2218: Set element $x \in X$ is a fixed point of $f$ if and only if \begin{equation} f(x) = x \end{equation}