Definition:Filter on Set/Filtered Set

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.