(a) Die Teilmengenbeziehung ist transitiv, d.h. für beliebige Mengen A, B, C folgt aus A ⊆ B und B ⊆ C, dass gilt A ⊆ C.
Sei A ⊆ B und B ⊆ C:Sei x ∈ A wegen A ⊆ B dann auch x ∈ B
und wegen B ⊆ C dann auch x ∈ CAlso A ⊆ C.
bei b) kommt noch etwas hinzu, damit A echte Teilmenge von B ist,muss es ein y aus B geben, das nicht in A ist.