מסנן (תורת הקבוצות)
ויקיפדיה האנציקלופדיה encyclopedia
בתורת הקבוצות, מסנן מעל קבוצה X הוא: משפחה לא ריקה של תת-קבוצות של X, הסגורה להגדלה ולחיתוך סופי, ואינה כוללת את הקבוצה הריקה. למסננים שימושים רבים בתורת הקבוצות המודרנית, לרבות לוגיקה מתמטית, ואלגברה בוליאנית, ובטופולוגיה (דרך קומפקטיפיקציית סטון-צ'ך).