Compact T1 space

Definition
A compact T1 space is a topological space that is both a compact space and a T1 space.