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)
“It requires a surgical operation to get a joke well into a Scotch understanding. The only idea of wit, or rather that inferior variety of the electric talent which prevails occasionally in the North, and which, under the name of “Wut,” is so infinitely distressing to people of good taste, is laughing immoderately at stated intervals.”
—Sydney Smith (1771–1845)