Фильтр (математика)

Фильтр — подмножество решётки, удовлетворяющее определённым условиям. Понятие происходит из общей топологии, где возникают фильтры на решётке всех подмножеств какого-либо множества, упорядоченных отношением включения. Фильтр — понятие, двойственное идеалу.