곱집합
그렇다면, 곱집합 formula_3 위에 다음과 같은 거리 함수를 줄 수 있다.