Preferred Termination Function

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

Reference

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