Characterizes the definition of terminating and normalizing abstract reduction system as endorelations whose nth-power in the relational semantics or the black-hole semantics, respectively, is null.
References.
Tags: abstract reduction system, rewriting, endorelation, black-hole distributive law.