Banach's fixed-point theorem/Definition

A theorem that states the existence and uniqueness of a fixed-point in a complete metric space.