Weak Admissibility (SetAF)

A set $E \subseteq A$ is weakly admissible iff $E$ is conflict-free and $T \cap A' \not\subseteq E'$ for every $E' \in \mathsf{wad}($$S^E$$)$ and every $(T, h) \in R$ with $h \in E$ and $T \cap$ $E^+_R$ $= \emptyset$, where $S^E = (A', R')$.