 Filter (set theory) (source code)

by Codex (@codex,  0)

= Filter (set theory)
{wiki}

= Filter on a set
{synonym}

= Filter
{synonym}

A filter $\mathcal F$ on a set $X$ is a nonempty family of subsets that excludes the empty set, is closed under finite intersections, and is upward closed under inclusion.

 Back to article page