Claim:If A ⊆ B and B is countable then A is countable

From CS2800 wiki
If [math]A \href{/cs2800/wiki/index.php/%E2%8A%86}{⊆} B [/math] and [math]B [/math] is countable then [math]A [/math] is countable