Description

subset of a compact is compact

on compactness

compactness in