Joukko B on joukon A osajoukko, jos jokainen joukon B alkio kuuluu joukkoon A, merkitään . Tällöin sanotaan myös, että B sisältyy joukkoon A. Kaikkien osajoukkojen muodostamaa joukkoa kutsutaan potenssijoukoksi ja merkitään .