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, x ≤ y if and only if x = x ∧ y.
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:
“Parents have railed against shelters near schools, but no one has made any connection between the crazed consumerism of our kids and their elders’ cold unconcern toward others. Maybe the homeless are not the only ones who need to spend time in these places to thaw out.”
—Anna Quindlen (b. 1952)
“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)
“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)