Jónsson term

In universal algebra, within mathematics, a majority term, sometimes called a Jónsson term, is a term t with exactly three free variables that satisfies the equations t(x, x, y) = t(x, y, x) = t(y, x, x) = x.

For example, for lattices, the term (x ∧ y) ∨ (y ∧ z) ∨ (z ∧ x) is a Jónsson term.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.