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