מסנן (תורת הקבוצות) – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
מ ←‏פתיח: הבהרה חיונית
שורה 1:
<!-- על פי רשימות של ד"ר שמואל דהרי -->
ב[[תורת הקבוצות]], '''מסנן''' מעל [[קבוצה (תורת הקבוצות)|קבוצה]] X הוא: משפחה לא ריקה של תת-קבוצות של X, ה[[סגירות (אלגברה)|סגורה]] להגדלה ול[[חיתוך (מתמטיקה)|חיתוך]] סופי, ואינה כוללת את [[הקבוצה הריקה]]. למסננים שימושים רבים בתורת הקבוצות המודרנית, לרבות [[לוגיקה מתמטית]], ו[[אלגברה בוליאנית]], וב[[טופולוגיה]] (דרך [[קומפקטיפיקציית סטון-צ'ך]] {{אנ|Stone–Čech compactification}}).
 
== מבוא ==