If (X,T) is a space, than a subset K of X is compact iff every T-open cover of K has a finite subcover.