Prove that intersecting all the basis elements with a subspace gives a basis for the subspace. Prove that any subspace of a [Hausdorff|second countable] space is [Hausdorff|second countable]