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!!!!