Tyhjä joukko

Tyhjä joukko on joukko, joka ei sisällä yhtään alkiota. Tyhjää joukkoa merkitään ⵁ:lla, {}:lla tai joskus myös ε:lla (epsilon). Epätyhjä joukko A on joukko, joka ei ole tyhjä joukko. Tällöin merkitään A ≠ ⵁ