분할된 집합이 있으면 분할에 맞는 동치관계가 존재하는가?