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



Luokka:Joukko-oppi