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 .
jˈoukːo bˈeː on jˈoukon ˈaː ˈaito ˌosajˈoukːo, jˈos se on jˈoukon ˈaː ˌosajˈoukːo, mˌutːa bˈeː ei ˌoles sˈama kˈuin ˈaː, bˈeː (en)nˌɒt ˈiːkwəl tʊ(fi) ˈaː. aitˈoa ˌosajoukːˈoa merkˈitæːn ˈusein , jˈolloin ˌosajoukːˈoa merkˈitæːn .