Definition. product space [math-000C]

For two topological spaces $X, Y$ , their product space $X \times Y$ has opens generated by $U \underset{open}{\subseteq} X$ and $V \underset{open}{\subseteq} Y$ .