1: \begin{definition} \label{DefIrreducibleRelF}

2: Suppose that $\F$ is a proper free factor system. A subgroup $\h \subgroup \IA_n(\Z/3)$ that leaves $\F$ invariant is said to be \emph{irreducible rel $\F$} if there does not exist a proper free factor system that properly contains~$\F$ and that is invariant under every element of $\h$ (equivalently, by Theorem~\ref{ThmPeriodicFreeFactor}, ``that is periodic under every element of~$\h$''). 

3: \end{definition}