Halmaz osztályozása
- Sablon:Label Legyen egy halmaz. Az részhalmazaiból álló halmazrendszert az halmaz osztályozásának nevezzük, ha
- elemei nem üres halmazok;
- elemei páronként diszjunktak;
- elemei uniója az halmaz.
- A halmazrendszer elemeit az osztályozás osztályainak (vagy blokkjainak) nevezzük. Egy ekvivalenciareláció ekvivalenciaosztályai az alaphalmaz egy osztályozását alkotják.
- Tétel: Legyen A egy halmaz, az A halmaz egy osztályozása. Ekkor létezik pontosan egy ρ ekvivalenciareláció, amelynek ekvivalenciaosztályai megegyeznek osztályaival.