1: \begin{definition}

2: \begin{enumerate}

3: \item The Countable Choice Principle for finite sets in FSM \textbf{CC(fin)} has the form ``Given any invariant set $X$, and 

4: any countable family $\mathcal{F}=(X_{n})_{n}$ of finite subsets of $X$ such 

5: that the mapping $n\mapsto X_{n}$ is finitely supported, there exists a 

6: finitely supported choice function on $\mathcal{F}$."

7: \item The Countable Union Theorem for finite sets in FSM, \textbf{CUT(fin)}, has the form ``Given any invariant set $X$ and any  countable family $\mathcal{F}=(X_{n})_{n}$ of finite subsets of $X$  such 

8: that the mapping $n\mapsto X_{n}$ is finitely supported, then there exists a finitely supported onto mapping  $f: \mathbb{N} \to \underset{n}{\cup}X_{n}$"

9: \item The Countable Union Theorem for $k$-element sets in FSM, \textbf{CUT(k)}, has the form ``Given any invariant set $X$ and any  countable family $\mathcal{F}=(X_{n})_{n}$ of $k$-element subsets of $X$ such that the mapping $n\mapsto X_{n}$ is finitely supported, then there exists a finitely supported onto mapping  $f: \mathbb{N} \to \underset{n}{\cup}X_{n}$"

10: \item The Countable Choice Principle for sets of $k$-element sets in FSM, 

11: \textbf{CC(k)} has the form ``Given any invariant set~$X$ and any 

12: countable family $\mathcal{F}=(X_{n})_{n}$ of $k$-element subsets of $X$ 

13: in FSM such that the mapping $n\mapsto X_{n}$ is finitely supported, there 

14: exists a finitely supported choice function on $\mathcal{F}$."

15: \end{enumerate}

16: \end{definition}