Complete Termination Function

The termination function $\beta_{\mathsf{co}}$ is defined by $\beta_{\mathsf{co}}(F,E) = 1$ iff $\mathsf{is}^{\not\leftarrow}(F)$ $= \emptyset$ .

Reference

Thimm, M. (2022). Revisiting Initial Sets in Abstract Argumentation. Argument & Computation, 13(3), pp. 325–360.