Ositus

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

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

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

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

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