서로소 집합

위키백과, 우리 모두의 백과사전.
(서로소 (집합론)에서 넘어옴)
이동: 둘러보기, 검색

집합 A, B에 공통의 원소가 없으면, 즉 A와 B의 교집합공집합이면(A ∩ B = Ø) A와 B는 서로소이다.

정의[편집]

집합들의 족 \mathcal S에 대하여, 모든 S_i,S_j\in\mathcal S에 대하여 S_i\cap S_j=\varnothing일 경우, \mathcal S서로소 집합족(영어: family of disjoint sets)이라고 한다.

두 집합 S_1,S_2에 대하여 S_1\cap S_2=\varnothing이면 S_1S_2서로소라고 한다. 이는 S_1\ne S_2이며 \{S_1,S_2\}가 서로소 집합족인 것과 동치이다.