Partíció

Tegyük fel, hogy adott egy $S$ halmaz, valamint ennek $S_1, S_2, S_3, \dots$ részhalmazai olymódon, hogy ezen részhalmazok közül egyik sem üres, semelyik kettőnek nincs közös eleme, továbbá egyesítésük kiadja a teljes $S$ halmazt. Ekkor az $S_1, S_2, S_3, \dots$ részhalmazok összességét az $S$ halmaz partíciójának vagy osztályfelbontásának, míg az $S_i$ halmazokat az $S$ halmaz ekvivalencia-osztályainak (vagy egyszerűen csak osztályainak) nevezzük.

♣