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

• Yhdiste