Referenced by:

• compactness-via-ultrafilters