Text this: The compactness operator in set theory and topology /