Theorie:

Man kann aus den Elementen einer Menge verschiedene Kombinationen von Teilmengen erstellen.
 
Aus der Menge X=⊲,∨,⊗ können beispielsweise die folgenden Teilmengen gebildet werden:
Y=⊲,∨,Z=⊲,⊗,T=∨,⊗.
 
Man sagt: \(A\) ist eine Teilmenge der Menge \(B\), wenn jedes Element von \(A\) in \(B\) vorkommt.
Man schreibt: A⊂B.
54_t02.bmp
 
In der Zeichnung ist die Figur \(B\) in der Figur \(A\) enthalten, also ist B⊂A.
 
 
Man schreibt 3∈−1,0,1,2,3,4 (die Zahl \(3\) ist ein Element der Menge −1,0,1,2,3,4), aber nicht 3⊂−1,0,1,2,3,4 (da die Zahl \(3\) keine Menge ist). Man kann jedoch die Menge betrachten, die als einziges Element die Zahl \(3\) hat, hier gilt  3⊂−1,0,1,2,3,4.