Ositus

Ositus on kokoelma joukon erillisiä epätyhjiä osajoukkoja, jotka yhdessä sisältävät kaikki joukon alkiot.

Täsmällinen määritelmä: Olkoon  epätyhjä joukko.  on :n äärellinen ositus, jos  kaikilla  ja
.
 on :n ääretön ositus, jos  kaikilla  ja
.

Katso myös 
 Ekvivalenssirelaatio
 Ekvivalenssiluokka
 Bellin luvut 
 Yhdiste

Lähteet

Kirjallisuutta
 
 

Joukko-oppi