The preceding five pairs of laws—the commutative, associative, distributive, identity and complement laws—encompass all of set algebra, in the sense that every valid proposition in the algebra of sets can be derived from them.
Výše uvedených pět dvojic zákonů – komutativní, asociativní, distributivní, zákony identity a doplňku – obsahuje kompletní seznam axiomů množinové algebra, v tom smyslu, že každé pravdivé tvrzení v množinové algebře z nich může být odvozeno.