\begin{definition}[Definition:Finite Character]
Let $S$ be a set.
Let $\FF$ be a set of subsets of $S$.
Then $\FF$ has '''finite character''' {{iff}} for each $A \subseteq S$:
:$A \in \FF$ {{iff}} every finite subset of $A$ is in $\FF$.
\end{definition}