Compactness operator in set theory etc door Wattel