Strong normalization is a property of an object under an abstract rewriting system. An object $A$ is strongly normalizing if every sequence of rewrites starting from $A$ eventually terminates with a normal form. An object is *weakly* normalizing if at least *one* sequence of rewrites terminates in a normal form. An abstract rewriting system has the strong normalization property if all objects under that system are strongly normalizing.