Compatible Operation
Let A be a set (of the elements of an algebra ), and let E be an equivalence relation on the set A. The relation E is said to be compatible with (or have the substitution property with respect to) an n-ary operation f if for all whenever implies . An equivalence relation compatible with all the operations of an algebra is called a congruence.
Read more about this topic: Quotient Algebra
Famous quotes containing the words compatible and/or operation:
“God isn’t compatible with machinery and scientific medicine and universal happiness. You must make your choice. Our civilization has chosen machinery and medicine and happiness.”
—Aldous Huxley (1894–1963)
“You may read any quantity of books, and you may almost as ignorant as you were at starting, if you don’t have, at the back of your minds, the change for words in definite images which can only be acquired through the operation of your observing faculties on the phenomena of nature.”
—Thomas Henry Huxley (1825–95)