Ideal Semantics

A set $E \subseteq A$ is the ideal extension iff $E$ is the $\subseteq$-maximal admissible set with $E \subseteq \bigcap$ $\mathsf{pr}(F)$.

Signature

A set $\mathbb{S}$ of sets of arguments is in $\mathsf{sig}(\mathsf{id})$ iff $\lvert\mathbb{S}\rvert = 1$ (Dunne et al., 2016).