AssumeReduced is an option used in various functions, to assume that a ring is reduced.
The object AssumeReduced is a symbol.
The source of this document is in TestIdeals/FinjectiveDoc.m2:305:0.