Se todo elemento de C pertence a A e todo elemento de C também pertence a B, então
A ⊂ B.
A ⊃ B.
A ∩ B ⊂ C
C ⊂ A ∩ B.
A ∩ B = ∅