A 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