Solution
= Solution
A subset $K$ of a <topological space> is <compact space>[compact] if every cover of $K$ by open subsets of the ambient space has a finite subcover. This is equivalent to <compactness> of $K$ with its <subspace topology>.
= Solution
A subset $K$ of a <topological space> is <compact space>[compact] if every cover of $K$ by open subsets of the ambient space has a finite subcover. This is equivalent to <compactness> of $K$ with its <subspace topology>.