İki çoxluq o zaman bərabərdirlər ki, onlar eyni elementlərə malik olsunlar.
Bu analyış çoxluq nəzəriyyəsinin əsası hesab olunur. Formal olaraq belə ifadə olunur:
Sətir 28:
==== Boş çoxluq ====
TərkibindəəhatTə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əelementləriə 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 hər bir çoxluğun alt çoxluğudur. Boş çoxluğu həmçinin aşağıdakı kimi də ifadə etmək olar:
:<math> \emptyset_{A} = \{x \in A \mid \forall x\notin A \}</math>
