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.

♣