Fixed point (source code)

= Fixed point
{wiki}

A fixed point of a function $f:X\to X$ is an element $x\in X$ satisfying $f(x)=x$.