Definition:Filter on Set/Filtered Set

Definition
Let $X$ be a set. Let $\mathcal F$ be a filter on $X$.

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