Boş çoxluq

Boş çoxluq, tərkibində heç bir elementi olmayan çoxluğa deyilir. Boş çoxluq ${\displaystyle \emptyset }$ ilə işarə olunur. Uyğun olaraq: ${\displaystyle \emptyset }$ və ${\displaystyle \{\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:

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

${\displaystyle \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^[1]: (A U /O=A) AUA=A.