joukko

Joukko-oppi on joukkoja tutkiva matematiikan haara. Joukko-opin perustaja Georg Cantor määritteli joukon olevan toisistaan erotettavien objektien (olioiden) yhdistelmä. Intuitiivisesti tämä määritelmä toimii useimmiten edelleen, vaikka joukon formaali määritteleminen osoittautui myöhemmin monimutkaisemmaksi. Näitä objekteja kutsutaan joukon alkioiksi ja ne voivat olla ihmisen havaintoon tai ajatukseen perustuvia. Oleellista on tietää mistä tahansa objektista kuuluuko se tiettyyn joukkoon vai ei.