Partitie (verzamelingenleer)

In de verzamelingenleer is een partitie ${\displaystyle P}$ van een verzameling ${\displaystyle A}$ een opdeling van ${\displaystyle A}$ in niet-lege onderling disjuncte delen. De deelverzamelingen van ${\displaystyle A}$, die samen de partitie ${\displaystyle P}$ van ${\displaystyle A}$ vormen, mogen niet leeg zijn, hun onderlinge doorsnede is steeds de lege verzameling en hun vereniging is ${\displaystyle A}$. Een partitie is een familie van deelverzamelingen. De deelverzamelingen, die element van dezelfde partitie zijn, worden ook wel de klassen binnen die partitie genoemd.