Tyhjä joukko
Wikipedia
Tyhjä joukko on joukko, joka ei sisällä yhtään alkiota, ja sitä merkitään 
tai {}, joskus myös ε (epsilon). Epätyhjä joukko A on joukko, joka ei ole tyhjä joukko. Tällöin merkitään 
.
Koska tyhjässä joukossa ei ole yhtään alkiota, on tyhjän joukon jokaiselle alkiolle jokainen väite tosi. Tämä helpottaa monesti tyhjää joukkoa koskevien lauseiden formalisointia. Sen sijaan tyhjälle joukolle kaikki väitteet eivät ole tosia. Esimerkiksi väite: "Tyhjässä joukossa on alkio." on epätosi.
Esimerkkejä tyhjästä joukosta:
, eli sellaisten reaalilukujen joukko, joiden neliö eli toinen potenssi on negatiivinen, on tyhjä joukko.
, eli negatiivisten luonnollisten lukujen joukko on tyhjä joukko, sillä ei ole olemassa negatiivista luonnollista lukua.
