A [fixed-point theorem](https://en.wikipedia.org/wiki/Fixed-point_theorem) is a result saying that a function $F$ will have at least one fixed point (a point $x$ for which $F(x) = x$), under some conditions on $F$ that can be stated in general terms.