Ositus

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

Täsmällinen määritelmä: Olkoon $\Omega$ epätyhjä joukko. $\{\Omega _{1},\Omega _{2},\ldots ,\Omega _{n}\}$ on $\Omega$:n äärellinen ositus, jos $\Omega _{i}\cap \Omega _{j}=\varnothing$ kaikilla $i\neq j\ (i,j\leq n)$ ja

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

$\{\Omega _{1},\Omega _{2},\ldots \}$ on $\Omega$:n ääretön ositus, jos $\Omega _{i}\cap \Omega _{j}=\varnothing$ kaikilla $i\neq j\ (i,j\in \mathbb {N} )$ ja

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

Katso myös

• Ekvivalenssirelaatio
• Ekvivalenssiluokka
• Bellin luvut
• Yhdiste

Kirjallisuutta

• Kivelä, Simo K.: Algebra ja geometria, s. 16–19. Helsinki: Otatieto, 1990. ISBN 951-672-103-6
• Lipschutz, Seymour: Set Theory and Related Topics. McGraw-Hill, 1964. ISBN 0070379866