# Proof:If A ⊆ B and B is countable then A is countable

If and is countable then is countable
Proof:
Suppose and is countable. Then (since ) and . Therefore so is countable.