Join And Meet
In mathematics, join and meet are dual binary operations on the elements of a partially ordered set. A join on a set is defined as the unique supremum (least upper bound) with respect to a partial order on the set, provided a supremum exists. A meet on a set is defined as the unique infimum (greatest lower bound) with respect to a partial order on the set, provided an infimum exists. If the join of two elements with respect to a given partial order exists then it is always the meet of the two elements in the inverse order, and vice versa.
Usually, the join of two elements x and y is denoted x ∨ y, and the meet of x and y is denoted x ∧ y.
Join and meet can be abstractly defined as commutative and associative binary operations satisfying an idempotency law. The two definitions yield equivalent results, except that in the partial order approach it may be possible directly to define joins and meets of more general sets of elements.
A partially ordered set where the join of any two elements always exists is a join-semilattice. A partially ordered set where the meet of any two elements always exists is a meet-semilattice. A partially ordered set where both the join and the meet of any two elements always exist is a lattice. Lattices provide the most common context in which to find join and meet. In the study of complete lattices, the join and meet operations are extended to return the least upper bound and greatest lower bound of an arbitrary set of elements.
In the following we dispense discussing joins, because they become meet when considering the reverse partial order, thanks to duality.
Read more about Join And Meet: Partial Order Approach, Universal Algebra Approach, Equivalence of Approaches, Meets of General Subsets
Famous quotes containing the words join and/or meet:
“The idea was to prove at every foot of the way up that you were one of the elected and anointed ones who had the right stuff and could move higher and higher and even—ultimately, God willing, one day—that you might be able to join that special few at the very top, that elite who had the capacity to bring tears to men’s eyes, the very Brotherhood of the Right Stuff itself.”
—Tom Wolfe (b. 1931)
“Look at your [English] ladies of quality—are they not forever parting with their husbands—forfeiting their reputations—and is their life aught but dissipation? In common genteel life, indeed, you may now and then meet with very fine girls—who have politeness, sense and conversation—but these are few—and then look at your trademen’s daughters—what are they?—poor creatures indeed! all pertness, imitation and folly.”
—Frances Burney (1752–1840)