reduction

Related entries include:

combination; injection; normal form;