우체국
로 정의한다면, formula_58는 거리 공간이다. 이 거리 함수를 우체국 거리()라고 한다.