Tudjuk, hogy A⊂B⊂C. Mivel egyenlő A∪B∪C és a C∩B∩A?

A 'C' a legbővebb, így A∪B∪C=C

Az 'A' a legszűkebb, ezért C∩B∩A=A

-KA-

Igen ahogy az előző írja. Ha nem jönnél rá,h miért, akk azért mert az 1. feltevés azt jelenti,h A eleme B-nek, B eleme C-nek, szóval A is eleme C-nek.

Az AuBuC pedig az előző logika alapján C, mert az "u" azt jelenti,h "vagy", tehát a 3 közül a legbővebb kategória.

A másik meg C B és A közös része, tehát ami mindegyikben benne van, és ez A.

A⊂B jelentése: 'A' valódi részhalmaza B-nek. 'A' minden eleme B-nek is eleme és B-nek van olyan eleme, ami nincs az 'A' halmazban.

Az eleme reláció más káposzta.

-KA-