Definition
A function that pulls things closer together each time you apply it, so iteration converges.
A property of a map under which repeated application contracts distances, guaranteeing convergence to a fixed point.
Mentioned in 2 episodes
041
032