Фільтр (порядок)
З Вікіпедії, безкоштовно encyclopedia
Фільтр — в теорії порядку, це підмножина частково впорядкованої множини яка є верхньою множиною спрямованою вниз.
Фільтр — в теорії порядку, це підмножина частково впорядкованої множини яка є верхньою множиною спрямованою вниз.