Hausdorff-space/Compact subset/Closed/Fact/Proof/Exercise

< Hausdorff-space < Compact subset < Closed < Fact < Proof

Let be a Hausdorff space, and let be a subset that carries the induced topology. Let be compact. Show that is closed in .