Rozklad množiny A

Rozklad množiny ${\displaystyle A}$ je neprázdny systém ${\displaystyle P}$ podmnožín množiny ${\displaystyle A}$, o ktorom platí: Každý prvok ${\displaystyle x\in A}$ patrí práve do jednej množiny z ${\displaystyle P}$. Prvky rozkladu ${\displaystyle P}$ sa nazývajú triedy rozkladu ${\displaystyle P}$. Ľubovoľný prvok triedy sa nazýva reprezentant tejto triedy.