Joukko
Joukko on matematiikassa joukko-oppiin kuuluva peruskäsite. Periaatteessa joukko on kokoelma olioita eli alkioita, joiksi joukon jäseniä kutsutaan. Joukko voi myös olla tyhjä alkioista, jolloin sitä kutsutaan tyhjäksi joukoksi.
Naiivi esimerkki joukosta voisi olla taskun sisältö. Taskussa on kolikko, avain, noppa ja tulitikkulaatikko, jolloin joukossa on neljä alkiota. Alkioiden suhde toisiinsa on tasa-arvoinen siinä mielessä, että jokainen esine on taskun jäsen. Tulitikkuaskissa on polttamattomia tikkuja, joten sitä voidaan pitää siinä mielessä osajoukkona, vaikka kokonaisuutena se on myös alkio. Tyhjää joukkoa voisi esittää tyhjä tasku, joka laitetaan taskuun muiden esineiden sekaan. Jos taskussa oleva kolikko luiskahtaa tyhjään taskuun, muuttuu se sisemmän taskun alkioksi ja kuuluu siten joukkoon ja sen osajoukkoon samanaikaisesti.
Matematiikassa lukujoukoilla on erityisasema. Suurin osa matematiikasta käsittelee lukuja ja niiden muodostamat joukot ovat analyysin perusta. Tarkastelun kohteeksi voidaan valita tunnettujen lukujen osajoukko, esimerkiksi alle 100 olevien parillisten lukujen joukkoa. Tämän joukon koko on 50 alkiota ja joukkoa kutsutaan äärelliseksi joukoksi.
Koska tunnettuja lukuja on määrättömästi, sanotaan lukujoukon alkioita olevan äärettömän monta. Tällaiseen epäkäytännölliseen tilanteeseen on jouduttu, koska laskulait ovat voimassa yksinkertaisessa muodossaan vain, jos oletetaan lukuja olevan kuinka paljon tahansa. Esimerkiksi lukumääriä tai järjestystä ilmaisevat luvut eli luonnolliset luvut muodostavat tällaisen kompaktin kokonaisuuden. Tässä joukossa yhteen- ja kertolaskutoimitukset onnistuvat niin, että myös tulos kuuluu samaan lukujoukkoon. Tällaista joukkoa kutsutaan äärettömäksi joukoksi.
Myös kokonaisluvut, rationaaliluvut, irrationaaliluvut reaaliluvut ovat perinteisiä matematiikassa käytettyjä lukuja. Niitä voidaan kuvata havainnollisesti lukusuoralla. Nämäkin ovat äärettömiä joukkoja.
Vektorijoukoiksi kutsutaan sellaisia joukkoja, jossa on alkioina useamman lukujoukon ydistelmiä. Esimerkiksi joukko formula_1 ja joukko formula_2 voidaan ottaa muodostamaan yhdistelmäalkioita. Joukon formula_3 luvut ilmoitetaan ensimmäiseksi luvuksi ja joukon formula_4 alkiot toiseksi luvuksi. Kaikki tällaisen lukuparit (a, b) eli vektorit voidaan luetella joukoksi formula_5, joka on
Joukko formula_5 on joukkojen formula_3 ja formula_4 karteesinen tulo eli formula_10.
Reaalilukujen parit muodostavat siten karteesisen tulon formula_11. Tätä lukujoukkoa voidaan havainnollistaa myös "xy"-tasolla, jossa "x"-koordinaatti meritsee lukuparin formula_12 vasenta lukua ja "y"-koordinaatti lukuparin oikeaa lukua. Tilaa eli avaruutta voidaan kuvata lukukolmikolla formula_13, joka esittää vektorijoukon formula_14 alkiota. Lukukolmikoita käytetään yleisesti esittämään avaruuden kolmiulotteista tilaa, jonka paikkoja esittävät "xyz"-koordinaatiston vektorit eli pisteet formula_13.
Joukkojen alkioita voivat olla myös funktiot. Kaikkien funktioiden joukossa polynomit ovat sen osajoukko ja polynomeissa potenssifunktiot ovat polynomijoukon osajoukko. Funktioilla voi olla yhteisiä ominaisuuksia, jotka sopivat tarkasteltavaan tehtävään. Tällaisia funktioiden joukkoja ovat esimerkiksi alkeisfunktiot, lineaariset funktiot tai algebralliset funktiot.
Joukkoja voi havainnollistaa luetteloimalla tai piirtämällä sen alkiot. Joukon alkioden luetteloimisen sijaan voidaan niiden tunnistamiseksi esittää alkioiden yhteinen ominaisuus. Voidaan sanoa vain, että lukujoukkoon formula_3 kuuluu kaikki alle 100 olevat parilliset luonnolliset luvut. Tämä voidaan merkitä kirjoittamalla joukon alkiot pilkulla erottaen aaltosulkujen sisään 
Luettelon loppuun lisätään kolme pistettä, jos luettelo jatkuu vielä pitkään, mutta "joukon idea" selvisi lukijalle. Yhteinen ominaisuus voidaan myös lisätä merkintään, jolloin lukija varmasti huomaa sen:
Tällaista merkintää käytetään lukujonojen teoriassa.
Jos lukuja on äärettömän monta, voidaan luettelo aloittaa tai päättää kolmeen pisteeseen. Näin voidaan helposti esittää kaikki joukon formula_4 parittomat kokonaisluvut
Joukko-opissa on oleelista tietää, kuuluuko alkio tarkasteltavaan joukkoon. Ajatus kuulumisestä voidaan esittää väitteenä, jossa kuusi (6) kuuluu joukkoon formula_3 eli formula_22 tai
102 ei kuulu joukkoon formula_3 eli formula_24. Useamman luvun tapauksessa merkitään
formula_25 eli luvut 2, 4 ja 6 kuuluvat (yksitellen) joukkoon tai osajoukko formula_26 kuuluu joukkoon. Kumpikin tulkinta merkitsee samaa asiaa.
Kaksi esiteltyä joukkoa ovat sama joukko, jos jokainen joukon formula_3 alkio esiintyy joukossa formula_4, ja vastaavasti, jokaisen joukon formula_4 alkio esiintyy joukossa formula_3. Tällöin merkkään formula_31.
Ellei joukkoon kuulu mikään alkio, on joukko niin sanottu tyhjä joukko. Se merkitään symboolilla formula_32. On olemassa vain yksi tyhjä joukko, sillä monen erilaisen tyhjän joukon olemassa olo ei ole joukko-opin hengen mukaista.
Joukon alkioiden lukumäärä on äärellisen joukon tapauksessa selvä. Taskussa olevien esineiden lukumäärä selviää laskemalla esineet, joita taskussa on. Joukon koko on tällöin saatu lukumäärä.
Luonnollisten lukujen joukko on sen sijaan ääretön. Jos luetteloidaan lukujoukon lukuja lähtien liikkeelle sen pienimmästä luvuta 1, jatkaen seuraavaksi suurimmasta luvusta 2 ja näin edetään seuraavaksi suurimpaan lukuun jatkuvasti, on aloitettu laskemisprosessi, jonka loppumista ei voi odottaa. Lukujoukon tärkeä ominaisuus nimittäin on, että jokaisella luvulla "n" on myös seuraajana sellainen luku, joka on lukua yksi suurempi ("n + 1"). Luetteloon on siten mahdollista löytää aina vain yksi luku lisää eikä luettelointi siksi lopu milloinkaan. Lukujoukko on siten ääretön.
Rationaalilukujen joukko on myös ääretön, koska se sisältää kaikki luonnolliset luvut ja puuttuvat murtoluvut vielä niiden lisäksi. Kumpi on siten suurempi joukko: luonnolliset luvut vai rationaalit luvut? Arkinen järki sanoo rationaalilukujen joukkoa suuremmaksi, mutta matematiikassa voidaan esittää joukkojen vertailutilanne, jossa huomataan niillä olevan yhtä monta alkiota. Alkioita on molemmissa ääretön määrä. Erotukseksi äärelliselle lukumäärälle käytetään äärettömille joukoille lukumäärän mittana mahtavuutta. Sanotaan, että luonnolliset luvut, kokonaisluvut ja rationaaliluvut ovat yhtä mahtavat.
Irrationaaliluvut ja reaaliluvut sen sijaan ovat lukujoukkona edellisiä joukkoja vielä mahtavampia. Kun edellisien joukkojen mahtavuus on formula_33 (lue: alef-0), on jälkimmäisillä mahtavuus jo formula_34. Reaalilukujen rakenne on sellainen, että jokaisessa lukuvälissä on "yhtä paljon alkioita" kuin koko reaalilukujen joukossa. Reaaliluvut ovat irrationaalisten lukujen tavoin äärettömän tiheä. Tilanne ei muutu oleellisesti, jos tarkastellaan karteesia tuloa formula_35, sillä jokaiselle reaalilukujoukon formula_36 alkiolle voidaan osoittaa yksi formula_35 alkio.