Explore relationships

Normalization property

In abstract rewriting, an object is in normal form if it cannot be rewritten any further, i.e. it is irreducible. Depending on the rewriting system, an object may rewrite to several normal forms or none at all.

Use + to expand a branch. Click a topic name to open its summary.