Stage Semantics

A set $E \subseteq A$ is a stage extension iff $E$ is conflict-free and there is no conflict-free $E' \subseteq A$ with $E^\oplus$ $\subsetneq E'^\oplus$.

Signature

A set $\mathbb{S}$ of sets of arguments is in $\mathsf{sig}(\mathsf{stg})$ iff $\mathbb{S} \neq \emptyset$, $\mathbb{S}$ is incomparable and tight (Dunne et al., 2015).