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:
“As to happiness in this life it is hardly compatible with that diminished respect which ever attends the relinquishing of labour.”
—Anthony Trollope (1815–1882)
“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)