Description

subset of a compact is

Theorem on

in

in