Boş çoxluq

Boş çoxluq, tərkibində heç bir elementi olmayan çoxluğa deyilir. Boş çoxluq $\emptyset$ ilə işarə olunur. Uyğun olaraq: $\emptyset$ və $\{\emptyset \}$ müxtəlif olurlar. Boş çoxluq hər bir çoxluğun alt çoxluğudur. Boş çoxluğu həmçinin aşağıdakı kimi də ifadə etmək olar:

$\emptyset _{A}=\{x\in A\mid \forall x\notin A\}$

$\emptyset _{A}-A$ çoxluğunun boş alt çoxluğudur.

Hər bir çoxluğun boş çoxluq ilə birləşməsi çoxluğun özünə (birinci çoxluğa) bərabərdir: (A U /O=A) AUA=A.