:<math>A=B :\Longleftrightarrow \forall x \left(x \in A \,\leftrightarrow x \in B \right)</math>
birincidən fərqli olan elementə sahibdir. Boş çoxluq bir çox çoxluqların alt çoxluğudur.
==== Boş çoxluq ====
Tərkibində heç bir element olmayan çoxluq boş çoxluq adlanır. O <math>\emptyset</math> və ya <math>\{\}</math> ilə işarə olunur. Bərabərlik qanunundan alınır ki, yalnız bir nir boş çoxluq mövcuddur. Digər boş çoxluqlar elə həmin elementləri əhatə edirlər, yəni bərabərdirlər. Uyğun olaraq: <math>\emptyset</math> və <math>\{\emptyset\}</math> müxtəlif olurlar. Çünki sonuncu çoxluq birincidən fərqli olan elementə sahibdir. Boş çoxluq bir çox çoxluqların alt çoxluğudur.
