Definition:Filter on Set/Filtered Set

Definition
Let $S$ be a set.

Let $\mathcal F$ be a filter on $S$.

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