שינויים

תהא קבוצה <math>A\subseteq P(X)</math> שכל חיתוך סופי של קבוצות בה שונה מקבוצה ריקה. הוכיחו: קיים <math>F\neq P(X)</math> בוב מקסימאלי שמכיל אותה.