Transitive closures of special replacement relations or rewrite systems are studied. Many technical results are proved.