Compact metrizable space

Definition
A topological space is termed compact metrizable if it is compact and metrizable, or eqiuvalently, if it can be given the structure of a compact metric space.