the notion of compactness is a more general version of this property