Definition:Finite Character

Definition
Let $S$ be a set.

Let $\FF$ be a set of subsets of $S$.

Then $\FF$ has finite character for each $A \subseteq S$:


 * $A \in \FF$ every finite subset of $A$ is in $\FF$.

Also see

 * Tukey-Teichmüller Theorem / Tukey's Lemma, an equivalent of the Axiom of Choice
 * Restricted Tukey-Teichmüller Theorem, an equivalent of the Boolean Prime Ideal Theorem.