Let and be topological spaces. Then equip with the product topology generated by the base i.e. all open sets in the product topology are where and . THIS IS NOT NECESSARILY A COUNTABLE UNION!!!!