Filter (mathematics)

Special subset of a partially ordered set

Filter (mathematics)

In mathematics, a filter or order filter is a special subset of a partially ordered set (poset), describing "large" or "eventual" elements. Filters appear in order and lattice theory, but also topology, whence they originate. The notion dual to a filter is an order ideal.

From Wikipedia, under CC BY-SA. More on occurri.