# 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.