Let $f : X \to Y$ be a D18: Map.
The set of fixed points of $f$ on $E \subseteq X$ is the D11: Set \begin{equation} \{ x \in E : f(x) = x \} \end{equation}