Aliarvon ymmärtäminen joukkoteoriassa
Alimäärä on termi, jota käytetään matematiikassa, erityisesti joukkojen ja joukkoteorian yhteydessä. Se viittaa joukkoon, joka sisältyy toiseen joukkoon. Toisin sanoen, jos yksi joukko sisältyy toiseen joukkoon, niin pienemmän joukon sanotaan olevan suuremman joukon alijoukko.
Esimerkiksi jos meillä on kaksi joukkoa:
A = {1, 2, 3}
B = {1 , 2, 3, 4, 5}
Silloin A on B:n alijoukko, koska kaikki A:n elementit ovat myös B:n alkioita. Tässä tapauksessa A on B:n osajoukko, mutta ei päinvastoin (B ei ole A:n osajoukko.
Alijoukko on hyödyllinen käsite joukkoteoriassa ja siihen liittyvillä aloilla, koska sen avulla voimme kuvata joukkojen välisiä suhteita ja perustella niitä tehokkaammin.



