Boş çoxluq

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

${\mathrm{\varnothing }}_A=\{x\in A\mid \mathrm{\forall }x\notin A\}$

${\mathrm{\varnothing }}_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.