데코수학/ 집합론/ 동치관계, 분할

집합을 쪼개서 집합족으로 만드는 것을 분할이라고 한다.

$T$가 $X$의 분할이면 아래의 조건을 모두 만족한다.

동치관계 $\epsilon : X \to X$에 대하여 $X / \epsilon$는 $X$의 분할이다.

분할 $T$에 대한 관계

$X / T : X \to X$는 $X$ 위 동치관계

공집합이 아닌 집합 위에는 동치 관계가 있다.