Assertion: proper filter | /r/HasProperty | ultrafilter
Facets:
Source sentences:
text: A proper filter U on ℘(X) is an ultrafilter if any of the following conditions are true: