An algebra formed by removing some of the operations, and possibly carriers, of another algebra. Let A be an algebra of signature Σ‎₀ and let Σ‎ be a subsignature of Σ‎₀. 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 Σ‎.