n. a structure derived from another by removing all occurrences of some set of symbols; A is thus a reduct of B if B is an extension of A.