Ositus

Malline:Tämä artikkeli Ositus on kokoelma joukon erillisiä epätyhjiä osajoukkoja, jotka yhdessä sisältävät kaikki joukon alkiot.

Täsmällinen määritelmä: Olkoon $\mathrm{\Omega }$ epätyhjä joukko. $\{{\mathrm{\Omega }}_1,{\mathrm{\Omega }}_2,\dots ,{\mathrm{\Omega }}_n\}$ on $\mathrm{\Omega }$:n äärellinen ositus, jos ${\mathrm{\Omega }}_i\cap {\mathrm{\Omega }}_j=\varnothing$ kaikilla $i\ne j(i,j\le n)$ ja

$\bigcup _{i=1}^n{\mathrm{\Omega }}_i=\mathrm{\Omega }$.

$\{{\mathrm{\Omega }}_1,{\mathrm{\Omega }}_2,\dots \}$ on $\mathrm{\Omega }$:n ääretön ositus, jos ${\mathrm{\Omega }}_i\cap {\mathrm{\Omega }}_j=\varnothing$ kaikilla $i\ne j(i,j\in \mathbb{N})$ ja

$\bigcup _{i=1}^{\mathrm{\infty }}{\mathrm{\Omega }}_i=\mathrm{\Omega }$.

Katso myös

• Ekvivalenssirelaatio
• Ekvivalenssiluokka
• Bellin luvut
• Yhdiste

Kirjallisuutta

• Malline:Kirjaviite
• Malline:Kirjaviite