Alexander subbase theorem
= Alexander subbase theorem
{c}
{wiki=Alexander_subbase_theorem}
A topological space is compact when every cover by members of a fixed subbase has a finite subcover. Equivalently, every family of complements of subbasic opens with the finite-intersection property has nonempty intersection.