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 dress and war is not far to seek; your finest clothes are those you wear as soldiers.
    Virginia Woolf (1882–1941)

    We say that the hour of death cannot be forecast, but when we say this we imagine that hour as placed in an obscure and distant future. It never occurs to us that it has any connection with the day already begun or that death could arrive this same afternoon, this afternoon which is so certain and which has every hour filled in advance.
    Marcel Proust (1871–1922)

    Lord Byron is an exceedingly interesting person, and as such is it not to be regretted that he is a slave to the vilest and most vulgar prejudices, and as mad as the winds?
    There have been many definitions of beauty in art. What is it? Beauty is what the untrained eyes consider abominable.
    Edmond De Goncourt (1822–1896)