Quotient Algebra - Compatible Operation

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:

    “Despair is perfectly compatible with a good dinner, I promise you.”
    —William Makepeace Thackeray (1811–1863)

    “It is critical vision alone which can mitigate the unimpeded operation of the automatic.”
    —Marshall McLuhan (1911–1980)