Trong toán học, một phân hoạch tập hợp là một cách nhóm các phần tử của nó thành các tập con không rỗng, theo cách mà mỗi phần tử được chứa trong chính xác một tập hợp con.
Mỗi quan hệ tương đương trên một tập hợp xác định một phân hoạch tập hợp và ngược lại.
Một họ các tập con P là một phân hoạch (hay một sự chia lớp) của X khi và chỉ khi tất cả các điều kiện sau được thỏa mãn:[1][2][3]
Một phân hoạch α của một tập X là một mịn hóa của một phân hoạch ρ - ta cũng nói α mịn hơn ρ hay ρ ráp hơn α - nếu mọi phần tử của α là một tập con của một phần tử của ρ.
Ta gọi quan hệ thứ tự một phần xác định bởi mịn hóa giữa các phân hoạch là độ mịn.