Compact metrizable space

This article describes a property of topological spaces obtained as a conjunction of the following two properties: compactness and metrizability

Definition

Symbol-free 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.