Theorem
The cartesian product of two closed sets is a closed set.
Proof
Letand
be topological spaces and let
and
be closed.
The set (X times Y) - (A times B) is the union of two open sets, so is an open set.
Similarly ifand
are T2 spaces then the cartesian product is a T2 space. Regularity is also preserved by the Cartesian product. Normality however is not preserved.