Definition:Filter on Set/Filtered Set

From ProofWiki
Jump to navigation Jump to search

Definition

Let $S$ be a set.


Let $\FF$ be a filter on $S$.


Then $S$ is said to be filtered by $\FF$, or just a filtered set.


Sources