Definition:Fixed Point

Theorem
Let $$f: S \to T$$ be a mapping.

Then a fixed point of $$S$$ under $$f$$ is a point $$x \in S$$ such that $$f \left({x}\right) = x$$.

(It follows trivially that for $$f$$ to have any fixed points at all, it is necessary that $$S \cap T \ne \varnothing$$.)