Proof That the Cartesian Product of a T2 Space is T2

Theorem

Ifandare T2 spaces thenis T2.

Proof

Supposeandare T2 spaces. Letbe distinct points inso that eitherorSupposeSinceis T2, open sets andexist such that

Therefore

The setsandare open and

Henceis T2.