Semilattice - Connection Between Both Definitions

Connection Between Both Definitions

An order theoretic meet-semilattice 〈S, ≤〉 gives rise to a binary operation ∧ such that 〈S, ∧〉 is an algebraic meet-semilattice. Conversely, the meet-semilattice 〈S, ∧〉 gives rise to a binary relation ≤ that partially orders S in the following way: for all elements x and y in S, xy if and only if x = xy.

The relation ≤ introduced in this way defines a partial ordering from which the binary operation ∧ may be recovered. Conversely, the order induced by the algebraically defined semilattice 〈S, ∧〉 coincides with that induced by ≤.

Hence both definitions may be used interchangeably, depending on which one is more convenient for a particular purpose. A similar conclusion holds for join-semilattices and the dual ordering ≥.

Read more about this topic:  Semilattice

Famous quotes containing the words connection between, connection and/or definitions:

    The connection between our knowledge and the abyss of being is still real, and the explication must be not less magnificent.
    Ralph Waldo Emerson (1803–1882)

    What is the vanity of the vainest man compared with the vanity which the most modest person possesses when, in connection with nature and the world, he experiences himself as “man”!
    Friedrich Nietzsche (1844–1900)

    The loosening, for some people, of rigid role definitions for men and women has shown that dads can be great at calming babies—if they take the time and make the effort to learn how. It’s that time and effort that not only teaches the dad how to calm the babies, but also turns him into a parent, just as the time and effort the mother puts into the babies turns her into a parent.
    Pamela Patrick Novotny (20th century)