\begin{definition}[Definition:Filter on Set/Filtered Set]
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'''.
\end{definition}