 Solution

A subset $K$ is compact if every cover of $K$ by sets open in the ambient space has a finite subcover. Equivalently, every relatively open cover of the subspace $K$ has a finite subcover. These agree because relatively open sets are intersections with ambient open sets.