שינויים

תהא <math>X</math>. קבוצה <math>F\subseteq P(X)</math> תקרא בוב אם:

א. <math>X\in F</math>

ב. <math>B,C\in F \Rightarrow B\cap C \in F</math>

ג. <math>B in A \land B\subset C \Rightarrow C\in F</math>

א. <math>\forall i: X\in F_i</math> ולכן נמצא גם בחיתוך.

ב. <math>B,C\in F \Rightarrow \forall i B,C\in F_i \Rightarrow \forall i B\cap C \in F_i \Rightarrow \ B\cap C \in F</math>

ג. באופן דומה.