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.
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.