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

2: \cite[Definition 5]{Dung:95} A set $S\subseteq A$ is \textbf{conflict-free} (cf) iff $S$ satisfies any of the four equivalent conditions in Theorem \ref{thm:cf_char}.

3: \end{definition}

4: