hiçbir elemanı olmayan küme.
boş küme aynı zamanda diğer bilinen tüm kümelerin bir alt kümesidir, ilginç bir biçimde. kısa olarak ispat etmek icap ederse, varsayalım boş kümemiz bir a kümesinin alt kümesi olmasın. o zaman boş kümenin a kümesinden farklı bir elemanı içermesi gerekir; ama boş kümenin hiç elemanı yoktur. demek ki varsayımımız yanlış. o hâlde boş küme her kümenin bir alt kümesidir.