Lähdekoodi sivulle Ositus

{{Tämä artikkeli|käsittelee matemaattista aihetta. Ositus on myös oikeustieteellinen käsite, josta on artikkeli [[ositus (oikeustiede)]].}}
'''Ositus''' on kokoelma [[Joukko|joukon]] erillisiä epätyhjiä [[osajoukko]]ja, jotka yhdessä sisältävät kaikki joukon [[alkio (joukko-oppi)|alkiot]].<ref name=k1/>

Täsmällinen määritelmä: Olkoon <math>\Omega</math> epätyhjä joukko. <math>\{ \Omega_1, \Omega_2, \ldots , \Omega_n \}</math> on <math>\Omega</math>:n ''äärellinen ositus'', jos <math>\Omega_i \cap \Omega_j = \varnothing</math> kaikilla <math>i \neq j \ (i,j \leq n)</math> ja
<center><math>\bigcup_{i=1}^n \Omega_i = \Omega</math>.</center>
<math>\{ \Omega_1, \Omega_2, \ldots \}</math> on <math>\Omega</math>:n ''ääretön ositus'', jos <math>\Omega_i \cap \Omega_j = \varnothing</math> kaikilla <math>i \neq j \ (i,j \in \mathbb{N})</math> ja
<center><math>\bigcup_{i=1}^\infty \Omega_i = \Omega</math>.</center>

== Katso myös ==
* [[Ekvivalenssirelaatio]]
* [[Ekvivalenssiluokka]]
* [[Bellin luvut]] 
* [[Yhdiste_(matematiikka)|Yhdiste]]

== Lähteet ==
{{Viitteet|viitteet=
* <ref name=k1>{{Kirjaviite | Tekijä=Häsä, Jokke & Rämö, Johanna | Nimeke=Johdatus abstraktiin algebraan| Sivut=143–145  | Julkaisupaikka=Helsinki | Julkaisija=Gaudeamus | Vuosi=2015 | Isbn = 978-952-495-361-0}}</ref>
}}

==Kirjallisuutta==
* {{Kirjaviite | Tekijä=Kivelä, Simo K. | Nimeke=Algebra ja geometria | Sivut=16–19 | Julkaisija=Otatieto | Julkaisupaikka=Helsinki | Vuosi=1990 |Isbn= 
951-672-103-6}}
* {{kirjaviite | Tekijä=Lipschutz, Seymour | Nimeke=Set Theory and Related Topics | Julkaisija=McGraw-Hill | Vuosi=1964 | Isbn = 0070379866}}

[[Luokka:Joukko-oppi]]