We study properties of rewrite systems that are not necessarily terminating, but allow instead for trans nite derivations that have a limit. In particular, we give conditions for the existence of a limit and for its uniqueness and relate the operational and algebraic semantics of in nitary theories. We also consider su cient completeness of hierarchical systems. Is there no limit? |Job 16:3
