Expand description
Grounded extension: least fixed point of the characteristic function.
Per Dung 1995 ยง3: the grounded extension is the unique least complete
extension. It is computed by iterating the characteristic function
F(S) = {a | S defends a} starting from the empty set until fixed.