This site is being phased out.

Is a closed subset of a compact space always compact?