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

מסנן מקסימלי, כלומר, כזה שאינו מוכל באף מסנן גדול יותר, נקרא '''על-מסנן''' (ultrafilter). עבור כל קבוצה <math>\ A \subset X</math>, על-מסנן מוכרח להכיל את A או את המשלים <math>\ X-A</math>. על-מסנן המכיל קבוצה סופית מכיל גם "נקודון" (קבוצה בת איבר אחד), ולכן הוא ראשי. על-מסנן שאינו ראשי מוכרח להכיל את המסנן הקו-סופי.

 

 

 

=== ניסוח במונחי אלגברה בוליאנית ===