reduct

views updated

reduct An algebra formed by removing some of the operations, and possibly carriers, of another algebra. Let A be an algebra of signature Σ0 and let Σ be a subsignature of Σ0. Then the reduct A|Σ of A with respect to Σ is the algebra formed by removing from A the carriers, constants, and operations of A not named in Σ.