Conflict-Freeness

A set $E \subseteq A$ is conflict-free iff there are no $a,b \in E$ with $(a,b) \in R$.

Signature

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