Solution (source code)

= Solution

A subset is <relatively compact> in $M$ when its <closure> in $M$ is <compact>.