Description: The Alexander Subbase
Theorem: a space is compact iff it has a subbase
such that any cover taken from the subbase has a finite subcover.
(Contributed by Jeff Hankins, 24-Jan-2010.) (Revised by Mario Carneiro,
11-Feb-2015.)