Overview

reduct


Show Summary Details

Quick Reference

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 Σ.

Subjects: Computing.


Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.