-
hiçbir öğesi olmayan küme.
boş küme bilinen her kümenin alt kümesidir; çünkü öyle bir a kümesi için eğer ki boş küme a kümesinin alt kümesi değil ise o vakit boş kümede a kümesinde olmayan bir öğe bulunması gerekmektedir. ancak boş küme tanım gereği hiçbir öğeye sahip değildir. o zaman boş küme öyle bir a kümesinin bir alt kümesidir.