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 .