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