how to do a proof for subset in Isabelle

Question

I\'m trying to do some proofs manually in Isabelle but I\'m struggling with the following proof: lemma "(A ∩ B) ∪ C ⊆ A ∪ C "

I\'m trying to