A mathematical guarantee that distances between points don't change too much under a transformation, with upper bounds limiting how much they can grow.