어떤 연산을 정의할때 그 연산이 유일하게 정의되지 않는다는 점