1: \begin{definition}

2: We say $S\subseteq A$ is \textbf{self-defending} iff it satisfies any one of the two equivalent properties in Theorem \ref{thm:sd_equiv}.

3: \end{definition}

4: