„Halmazrendszer” változatai közötti eltérés

* Diszjunkt unió vagy szimmetrikus differencia: az unió definíciójában az egzisztenciális kvantort unicit egzisztenciális kvantorra (<math> \exist ! </math> = „létezik pontosan egy ... ”) kell cserélni;

<!-- * direkt összeg -->

 

Számos fogalom sokkal kényelmesebben és ugyanakkor precízebben leírható a második felfogásban definiált halmazrendszerek segítségével, mint pusztán halmazcsaládokra hagyatkozva.