Hausdorffness is preserved by subspaces, products, and coproducts, but not quotients
Let
Proof
Then for any
where , we have by injectivity and there exist disjoint open neighbourhoods of and respectively. Then are disjoint open neighbourhoods of respectively. Therefore is Hausdorff.