Some preliminary definitions:
“D is a filter” = df.
i.D $\subseteq$S(I) for some nonempty set I, where S(I) is the powerset of I, &
ii. I$\in$D;
iii. Given X, Y$\in$D, then X$\cap$Y $\in$D;
iv. Given X $\in$ D & X$\subseteq$Z $\subseteq$I then Z$\subseteq$ D.
“D is principal” =df. D is a filter and D = {X$\subseteq$I:Y $\subseteq$ X}.
- Prove: D is principal iff $\cap$D$\in$D.
Left to Right of “iff”: Suppose that D is a principal filter. Then D = {X$\subseteq$I: Y$\subseteq$ X}. So take $\cap$D. Clearly $\cap$D = Y, and Y $\in$ D (Y$\subseteq$ Y, and Y is thus one of the subsets of I having Y as subset). Thus $\cap$D$\in$D. <END OF LEFT TO RIGHT>.
Right to Left of “iff”: Suppose that $\cap$D$\in$D, and that D is a filter. We show D is principal. Thus by assumption D $\subseteq$ S(I), and so $\cap$ D$\in$S(I) hence $\cap$ D$ $ $\subset$ I. Thus $\exists$Y: D$\subseteq$Y & Y$\subseteq$I. Now call {Y: D $\subseteq$ Y & Y $\subseteq$ I} = Z. Clearly $\cap$D $\in$ Z. But $\cap$D $\in$ D as well (by initial assumption); so by extensionality D = Z; and so we have the appropriate D, so that D must be principal. <END OF RIGHT TO LEFT>.
<END OF PROOF>.