Joukko muodostuu
alkioista.
Joukko
on hyvin määritelty, jos jokaiselle alkiolle
on voimassa joko
(1)
kuuluu joukkoon
, merkitään
tai
(2)
ei kuulu joukkoon
, merkitään
.
Tyhjä joukko, jota merkitään symbolilla
, ei sisällä yhtään alkiota.
Jos kaikki joukon
alkiot ovat myös joukon
alkioita, joukko
on joukon
osajoukko, jota merkitään 
Joukkojen
ja
yhdisteeseen
kuuluvat kaikki
:n ja kaikki
:n alkiot. Joukkojen
ja
leikkaukseen
kuuluvat
:n ja
:n yhteiset alkiot. Joukkojen
ja
erotukseen
kuuluvat ne
:n alkiot, jotka eivät kuulu joukkoon
Olkoot joukot
ja
Määrää joukkojen
ja
yhdiste
, leikkaus
ja erotukset
sekä 