上記条件がformula_5で満足される場合、その写像は「非拡大的(non-expansive)」である。