Definition. Compositionality, computability, and complexity › Term rewrite systems (§ 6.1) › Termination (§ 6.1) [pagin2021-terminate]

If every derivation leads to a term in normal form, a system terminates.