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 and/or definitions:
“It may comfort you to know that if your child reaches the age of eleven or twelve and you have a good bond or relationship, no matter how dramatic adolescence becomes, you children will probably turn out all right and want some form of connection to you in adulthood.”
—Charlotte Davis Kasl (20th century)
“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)