reduct

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

Cite this article
Pick a style below, and copy the text for your bibliography.

  • MLA
  • Chicago
  • APA

JOHN DAINTITH. "reduct." A Dictionary of Computing. 2004. Encyclopedia.com. 11 Feb. 2012 <http://www.encyclopedia.com>.

JOHN DAINTITH. "reduct." A Dictionary of Computing. 2004. Encyclopedia.com. (February 11, 2012). http://www.encyclopedia.com/doc/1O11-reduct.html

JOHN DAINTITH. "reduct." A Dictionary of Computing. 2004. Retrieved February 11, 2012 from Encyclopedia.com: http://www.encyclopedia.com/doc/1O11-reduct.html

Learn more about citation styles

Find thousands of answers for hundreds of subjects at Answers Encyclopedia .

All answers verified by trusted sources at Encyclopedia.com

Try Answers Encyclopedia now!

For students and teachers!

Encyclopedia.com provides students and teachers facts, information, and biographies from verified, citable sources, including:

Encyclopedia.com provides students and teachers facts, information, and biographies from verified, citable sources, including: