서로소(집합)

다른 뜻에 대해서는 서로소 문서를 참조하십시오.

어떤 두개 이상의 집합이 서로소(disjoint)라는 것은 그 집합들이 공통의 원소를 갖지 않는다는 뜻이다. 이때, 그 집합들을 서로소 집합(disjoint sets)이라고 부른다.

다른 표현

• 두 집합의 교집합이 공집합이다.
• [math]X \cap Y =[/math] ∅.

성질

임의의 두 서로소 집합 [math]X, Y[/math]에 대해 다음이 성립한다.

• [math]X-Y=X[/math]

유한집합인 임의의 두 서로소 집합 [math]X, Y[/math]에 대해 다음이 성립한다.

• [math]n(X \cup Y) = n(X) + n(Y)[/math]

같이 보기

• 서로소 합집합