Description

Closed subset of a is

Theorem on

in

in topology