Fixed-point theorem

one of several theorems stating that, under certain conditions, a function f will have an argument x for which f(x) = x