Alexander's subbase lemma
= Alexander's subbase lemma
{c}
{wiki}
= Alexander subbase theorem
{c}
{synonym}
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.