\begin{definition}[Definition:Free Set of Sets]
Let $\SS$ be a set of sets.
Then $\SS$ is a '''free set of sets''' {{iff}} the intersection of $\SS$ is empty.
That is:
:$\bigcap \SS = \O$
\end{definition}