Definition:Filter on Set/Trivial Filter

From ProofWiki
Jump to navigation Jump to search

Definition

Let $S$ be a set.


A filter $\FF$ on $S$ by definition specifically does not include the empty set $\O$.

If a filter $\FF$ were to include $\O$, then from Empty Set is Subset of All Sets it would follow that every subset of $S$ would have to be in $\FF$, and so $\FF = \powerset S$.


Such a "filter" is called the trivial filter on $S$.