\begin{definition}[Definition:Finite Intersection Property]
Let $\Bbb S$ be a set of sets.
Let $\Bbb S$ have the property that:
:the intersection of any finite number of sets in $\Bbb S$ is not empty.
Then $\Bbb S$ satisfies the '''finite intersection property'''.
\end{definition}