Sei \(I\) eine Menge und \(U_i,i\in I\) eine offene Überdeckung von \(Y\). Dann ist $$(X\setminus Y)\cup\bigcup_{i\in I}U_i=X$$ eine offene Überdeckung von \(X\). Wegen der Kompaktheit von \(X\) gibt es eine endliche Teilüberdeckung, d.h. \(i_1,\ldots,i_n\in I\) mit $$X=(X\setminus Y)\cup U_{i_1}\cup\ldots\cup U_{i_n}$$ und somit $$U_{i_1}\cup\ldots\cup U_{i_n}\supseteq Y.$$ Damit haben wir zu einer beliebigen offenen Überdeckung von \(Y\) eine endliche Teilüberdeckung gefunden. Also ist \(Y\) kompakt.
Wie du siehst, braucht man in diesem Beweis nirgendwo, dass \(X\) hausdorff ist. Folglich gilt die Aussage auch, wenn man diese Voraussetzung fallen lässt.