Claim:If A ⊆ B then A ∩ B = A

Claim (see proof):

If [math]A \href{/cs2800/wiki/index.php/%E2%8A%86}{⊆} B [/math] then [math]A \href{/cs2800/wiki/index.php/%E2%88%A9}{∩} B \href{/cs2800/wiki/index.php/Equality_(sets)}{=} A [/math]