Stav dette: The compactness operator in set theory and topology /