집합 A, B에 대해 A ∩ B = Ø 일 때 A, B는 disjoint set이다. disjoint는 mutually exclusive라고도 부른다.
Universal set ( 전체 집합 ) U안에 n개의 집합 ( A_1, A_2, A_3, ... A_n )이 있고, U의 모든 원소들이 모두 단 하나의 A_i에만 포함될 때, { A_1, A_2, A_3, ... A_n }를 U의 partition이라 부른다.