# Proof:A ∩ B ⊆ A

Proof:
We want to show that , i.e. that every is also in A. Choose an arbitrary ; our new goal is to show that . But this comes directly from the definition of , since we know .