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áctập conkhô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.
