Definition, synonyms and related words
Something to be reduced according to the rules of a formal system.