Blackwell's contraction mapping theorem
In mathematics, Blackwell's contraction mapping theorem provides a set of sufficient conditions for an operator to be a contraction mapping. It is widely used in areas that rely on dynamic programming as it facilitates the proof of existence of fixed points.
Source: Wikipedia — Blackwell's contraction mapping theorem (CC BY-SA 4.0)