principal ultrafilter

1. REDIRECT Ultrafilter on a set#Free or principal

{{Redirect category shell|

{{R from subtopic}}

{{R printworthy}}

{{R to section}}

}}