A
B
C
U
A ∩ B
C ⊆ B
A ' B ' C'
B ' C'
A ' C'