Universal Algebra Approach
By definition, a binary operation ∧ on a set A is a meet, if it satisfies the three conditions a, b, and c. The pair (A,∧) then is a meet-semilattice. Moreover, we then may define a binary relation ≤ on A, by stating that x ≤ y if and only if x ∧ y = x. In fact, this relation is a partial order on A. Indeed, for any elements x, y, and z in A,
- x ≤ x, since x ∧ x = x by c;
- if x ≤ y and y ≤ x, then x = x ∧ y = y ∧ x = y by a; and
- if x ≤ y and y ≤ z, then x ≤ z, since then x ∧ z = (x ∧ y) ∧ z = x ∧ (y ∧ z) = x ∧ y = x by b.
Note that both meets and joins equally satisfy this definition: a couple of associated meet and join operations yield partial orders which are the reverse of each other. When choosing one of these orders as the main ones, one also fixes which operation is considered a meet (the one giving the same order) and which is considered a join (the other one).
Read more about this topic: Join And Meet
Famous quotes containing the words universal, algebra and/or approach:
“I have simplified my politics into an utter detestation of all existing governments; and, as it is the shortest and most agreeable and summary feeling imaginable, the first moment of an universal republic would convert me into an advocate for single and uncontradicted despotism. The fact is, riches are power, and poverty is slavery all over the earth, and one sort of establishment is no better, nor worse, for a people than another.”
—George Gordon Noel Byron (1788–1824)
“Poetry has become the higher algebra of metaphors.”
—José Ortega Y Gasset (1883–1955)
“Oh! mystery of man, from what a depth
Proceed thy honours. I am lost, but see
In simple childhood something of the base
On which thy greatness stands; but this I feel,
That from thyself it comes, that thou must give,
Else never canst receive. The days gone by
Return upon me almost from the dawn
Of life: the hiding-places of man’s power
Open; I would approach them, but they close.”
—William Wordsworth (1770–1850)