- ;
- if , then ;
- if and , then .
These conditions imply .
An ultrafilter is a proper filter maximal under inclusion. Equivalently, for every , exactly one of and belongs to .
Articles by others on the same topic
There are currently no matching articles.