ζ •
table
Referenced by:
compactness-via-ultrafilters
logic-ultraproduct
principal-filter
ultrafilter