1: \begin{definition}\label{def:stable_ext}

2: \cite[Definition 13]{Dung:95} We say $S\subseteq A$ is a \textbf{stable extension} iff $S$ satisfies any one of the two equivalent properties in Theorem \ref{thm:stable_TFAE}.

3: \end{definition}

4: