Answer to Question #114727 in Discrete Mathematics for ANJU JAYACHANDRAN

Question

Let A,B,C be subsets of a set. Prove that,
A ∩ B ⊆ C iff A ⊆ Bcompliment ∪ C.

Answer 1

Given,

A ⊆ B' ∪ C

⟹A ⋂ B ⊆ (B' ⋃ C) ⋂ B (Taking intersection with B on both sides of the equation)

⟹A ⋂ B ⊆ (B' ⋂ B) ⋃ (C ⋂ B) (Distributive property)

⟹A ⋂ B ⊆ ∅ ⋃ (C ⋂ B) (B' ⋂ B = ∅ )

⟹A ⋂ B ⊆ C ⋂ B (∅ ⋃ B = B)

⟹A ⋂ B ⊆ C ( as C ⋂ B ⊆ C )

Hence, proved.