수학에서, 집합의 분할(分割, 영어: partition 파티션[*])은 주어진 집합의 원소들을 서로 겹치지 않는 부분 집합들로 남김 없이 분류하는 방법이다. 덮개의 특수한 경우이다. 덮개를 구성하는 집합들은 모든 원소를 남김 없이 원소로 포함하지만, 서로 겹칠 수 있다. 서로소 집합족을 구성하는 집합들은 서로 겹치지 않지만, 합집합에 포함되지 않는 원소가 존재할 수 있다. 예를 들어, 집합 이 주어졌을 때, 와 는 분할을 이룬다. 반면 와 는 2가 겹치므로 집합의 분할이 아니며, 와 도 4가 빠져 있으므로 분할이 아니다.
나눠 묶인 우표들. 동시에 두 묶음에 속하는 우표는 없으며, 빈 묶음도 없다.5개 원소로 이루어진 집합의 52개의 분할《겐지모노가타리》의 각 장을 나타내는 54개의 기호는 5개의 원소를 분할하는 52가지 방법에 기초하였다.
분할의 개념은 동치 관계의 개념과 사실상 동치이다. 구체적으로, 주어진 집합의 분할과 동치 관계 사이에 일대일 대응이 존재하며, 이는 분할 격자와 동치 관계 격자 사이의 격자 구조를 보존한다.
선택 공리에 따라, 분할의 원소의 대표 원소들을 항상 고를 수 있다. 물론, 유한 집합의 분할의 경우 선택 공리를 필요로 하지 않는다. 예를 들어, 다섯 원소 집합를 분할하는 와 의 대표 원소들로서 1과 3을 고를 수 있고, 2와 2를 고를 수도 있다. 이 문제에 대한 역은 분할의 대표 원소들를 고르는 함수의 존재가 선택 공리를 함의하는지 여부이며, 이는 열린 문제이다.
두 분할은 어느 하나가 다른 하나보다 더 ‘자세한’ 분류인지에 따라 비교할 수 있다. 예를 들어, 52장의 플레잉 카드는 색깔에 따라 두 종류로 분류할 수 있으며, 모양에 따라 네 종류로 분류할 수 있는데, 모양에 따른 분할은 색깔에 따른 분할보다 자세한 분류이다. 주어진 집합의 분할의 집합은 이 이항 관계에 따라 부분 순서 집합을 이루며, 또한 완비 격자를 이룬다. 유한 집합의 분할 격자는 유한 완전 그래프의 그래프 매트로이드의 닫힌집합 격자와 동형이며, 특히 기하 격자를 이룬다.
만약 임의의 에 대하여, 인 를 찾을 수 있다면, 가 의 세분이라고 한다. 이를 로 적자.
임의의 에 대하여, 라고 하자. 만약 임의의 에 대하여, 인 를 찾을 수 있다면, 가 의 성형 세분이라고 한다. 이를 라고 적자.
세분은 덮개 집합 위의 원순서를 이룬다. 성형 세분은 추이적 관계이지만, 일반적으로 반사 관계가 아니다. 모든 성형 세분은 세분이지만, 그 역은 성립하지 않는다.
특히, 모든 분할은 덮개이므로 세분 관계와 성형 세분 관계를 정의할 수 있다. 분할의 세분은 분할의 원소들을 추가로 분할하여 얻는 집합 전체의 분할이다. (덮개 원소에 대하여 다시 덮개를 부여하면 덮개의 세분을 얻지만, 모든 덮개의 세분이 이렇게 얻어지는 것은 아니다.) 분할의 경우, 세분과 성형 세분은 서로 동치이다. 이는 집합의 분할 은 서로소 집합족이므로, 임의의 에 대하여
이기 때문이다. 또한, 세분은 분할의 집합 위의 부분 순서를 이룬다. 즉, 만약 라면, 이다. (이는 덮개의 경우 성립하지 않는다.) 따라서, 분할의 세분 관계는 로 적을 수 있다. 세분 관계를 갖춘 분할 집합은 완비 격자를 이룬다. 즉, 임의의 분할들의 족에 대하여, 이들 모두를 세분하는 가장 엉성한 분할이 존재하며, 또한 이들 모두에 의하여 세분되는 가장 섬세한 분할이 존재한다. 구체적으로, 집합의 임의의 분할들의 족 에 대하여,
는 각 분할의 원소들의 교집합들로 구성된 분할이다. 이 분할은 모든 의 세분이며, 모든 를 세분하는 임의의 분할은 이 분할의 세분이다. 또한, 집합의 임의의 덮개에 대하여, 인 가장 섬세한 분할 가 존재하며, 이는 다음과 같다.[3]:249, Exercise 36A.2
벨 삼각형을 이용하여 벨 수를 계산할 수도 있다. 각 행의 첫 수는 이전 행의 마지막 수이고, 뒤 잇는 수들은 왼쪽과 왼쪽 위의 수를 더한 것이다. 벨 수는 삼각형의 양 옆에서 각각 차례대로 나열된다. 삼각형 안에 있는 수도 의미를 가지는데, 예를 들어 3행 2열의 수가 3이라는 것은 집합 의 모든 한원소 집합의 원소가 2이거나 2보다 작다는 것을 만족하는 분할이 3가지라는 것이다.
4개의 원소를 갖는 집합의 분할과 세분 순서의 하세 도형. 총 15개의 분할로 이루어진다.
집합 의 분할은 5개이며, 다음과 같다.
다음과 같은 집합족들은 의 분할이 아니다.
은 공집합을 원소로 포함하므로 의 분할이 아니다.
은 서로소가 아니므로 의 분할이 아니다.
. 합집합이 이 아니기 때문이다.
4원소 집합의 분할격자는 15개의 원소가 있으며, 왼쪽 그림에서 하세 도형으로 표현된다. 이 분할격자는, 기하격자와 동일한 개념인 매트로이드에도 대응한다. 이때 기저집합은 격자의 원자들, 즉 (n - 2)원소 집합과 2원소 집합으로 이루어진 분할들로 이루어진다. 이들 원자 분할은 완전 그래프의 변들과 일대일 대응한다. 어떤 주어진 원자 분할들의 집합의 매트로이드 폐포는, 그들 모두보다 엉성한 분할들 중 가장 섬세한 하나이며, 그래프 이론적으로 이는 주어진 변들에 의한 부분 그래프의 연결성분이다. 이로써 이 분할 격자는 완전 그래프의 그래프 매트로이드(영어: graphic matroid)이다.
정수는 홀수와 짝수로, 음과 양의 정수 및 0으로, 소수와 합성수 및 0, 1, –1로 분류되며, 이들은 모두 정수 집합 에 대한 분할을 이룬다.