Reduct
Omission of operations and relations of a structure / From Wikipedia, the free encyclopedia
This article is about a relation on algebraic structures. For reducts in abstract rewriting, see Confluence (abstract rewriting).
In universal algebra and in model theory, a reduct of an algebraic structure is obtained by omitting some of the operations and relations of that structure. The opposite of "reduct" is "expansion".