A mathematical tool used to prove that an iterative algorithm converges by tracking a quantity that decreases over time.