Joukkojen osajoukko

Joukko-opin mukaan joukkojen osajoukon käsite – koskee tiettyä osaa joukosta. Osajoukko on olemassa, jos jokainen sen elementti kuuluu toiseen suurempaan tai yhtä suureen joukkoon.

Osajoukkojen joukosta voidaan erikseen erottaa oikea ja tyhjä epätriviaali osajoukko, joka on pienin joukko. Osajoukkojen suhdetta kuvaavat refleksiivisyyden, transitiivisuuden, antisymmetrian jne. ominaisuudet.

Kun arvioidaan äärellisten elementtijoukkojen osajoukkojen määrällisiä ominaisuuksia, käytetään binomikerrointa. Joukkojen osajoukkojen käsitettä sovelletaan käytännössä analyyttisten ongelmien ratkaisemisessa tilastotieteessä, joukkoalgebrassa, todennäköisyysteoriassa ja sovelletun matematiikan eri suuntauksissa.