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}
▼ | Set of symbols |
▼ | Alphabet |
▼ | Deduction system |
▼ | Theory |
▼ | Zermelo-Fraenkel set theory |
▼ | Set |
▼ | Binary cartesian set product |
▼ | Binary relation |
▼ | Map |
▼ | Eigenpoint |
▶ | D3097: Set of fixed points |