Solution (source code)

= Solution
{c}

A subset is <compact> if every family of open sets covering it has a finite subfamily still covering it. Equivalently, its subspace <topology> has the finite-subcover property.