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 π β 1 ( π ) , π β 1 ( π ) respectively. Therefore π₯ , π¦ is Hausdorff. π