Assertion: principal filter | /r/HasProperty | this form.:187
Facets:
Source sentences:
text: Each ultrafilter on ℘(S) that is also a principal filter is of this form.:187