Move notes on countable sets from topology notes to their own directory in set_theory.
The topology/intro notes were getting big, so move subspaces/product space notes and everything that depends on them to a new page, subspaces_product_spaces