Proof That the Diagonal of a T2 Space is Closed
Ifis a T2 space then the setis closed.
Forthere are open setsandsuch thatand
Henceand sohence the diagonal of a T2 space is closed. The converse is also true, so that if the diagonal ofis closed, thenis a T2 space.