Osajoukko
Wikipedia
Joukko B on joukon A osajoukko, jos jokainen joukon B alkio kuuluu joukkoon A, merkitään 
.
Formaalisti määritellään, että
- , kun
.
Joukko B on joukon A aito osajoukko, jos se on joukon A osajoukko, mutta B ei ole sama kuin A, B ≠A.
Aitoa osajoukkoa merkitään usein , jolloin osajoukkoa merkitään 
.
Jokainen joukko C oma osajoukkonsa, 
. Tyhjä joukko Ø on jokaisen epätyhjän joukon aito osajoukko.
Esimerkkejä:
- Joukko {1, 2} on joukon {1, 2, 3} aito osajoukko.
- Joukko A0 = {b ∈ R : b ≤ 0} on joukon A1 = {b ∈ R : b ≤ 1} osajoukko.
- Joukko S = {Merkurius, Venus, Maa} on joukon P = {Aurinkokuntamme planeetat} osajoukko.
