- Join (mathematics)
In mathematical
order theory , join is abinary operation on apartially ordered set that gives thesupremum (least upper bound) of its arguments, provided the least upper bound exists. The join of elements and is denoted . A partially ordered set in which each pair of elements has a join is called ajoin-semilattice .There is a dual operation, called meet, that returns the greatest lower bound of its arguments. Each pair of elements in a lattice has both a join (least upper bound) and meet (greatest lower bound).
Join operations can be abstractly described as
commutative andassociative binary operation s satisfying anidempotency law. In the study ofcomplete lattice s, the join operation is extended to return the least upper bound of an arbitrary set of elements.The partial order approach
Let "A" be a set with a
partial order , and let and be two elements in "A". An element of "A" is the join (or least upper bound or supremum) of and , if the following two conditions are satisfied::1. and (i.e., is an "upper bound of and "); and:2. for any in "A", such that and , we have (i.e., is less than any other upper bound of and ).If there is a join of and , then indeed it is unique, since if both and are least upper bounds of and , then , whence indeed . If the join does exist, it is denoted . Some pairs of elements in "A" may lack a join, either because they have no upper bound at all, or because none of their upper bounds is less than or equal to all the others. If all pairs of elements have joins, then indeed the join is a binary operation on "A", and it is easy to see that this operation fulfils the following three conditions: For any elements , , and in "A",:a. (commutativity ),:b. (associativity ), and:c. (idempotency ).The universal algebra approach
By definition, a
binary operation on a set "A" is a "join", if it satisfies the three conditions a, b, and c supra. The pair ("A",) then is ajoin-semilattice . Moreover, we then may define abinary relation on "A", by stating that if and only if . In fact, this relation is apartial order on "A". Indeed, for any elements , , and in "A",:, since by c;:if and , then by a; and:if and , then , since then by b.Equivalence of approaches
If ("A",) is a
partially ordered set , such that each pair of elements in "A" has a join, then indeed if and only if , since in the latter case indeed is an upper bound of and , and since clearly is the "least" upper bound if and only if it is an upper bound. Thus, the partial order defined by the join in the universal algebra approach coincides with the original partial order.Conversely, if ("A",) is a join-semilattice, and the partial order is defined as in the universal algebra approach, and for some elements and in "A", then is the least upper bound of and with respect to , since , similarly , and if is another upper bound of and , then , whence . Thus, there is a join defined by the partial order defined by the original join, and the two joins coincide.
In other words, the two approaches yield essentially equivalent concepts, a set equipped with both a binary order relation and a binary join operation, such that each one of these structures determines the other, and fulfil the conditions for partial orders or joins, respectively.
Joins of general subsets
If ("A",) is a join-semilattice, then the join may be extended to a well-defined join of any non-empty finite set, by the technique described in
iterated binary operation s. Alternatively, the join defines or is defined by a partial order, some subsets of "A" indeed have suprema with respect to this, and it is reasonable to consider such a supremum as the join of the subset. For non-empty finite subsets, the two approaches yield the same result, whence either may be taken as a definition of join. In the case where "each" subset of "A" has a join, in fact ("A",) is acomplete lattice ; for details, seecompleteness (order theory) .ee also
*Suprema within partially ordered sets
*Join-semilattice
*Lattice (order) (with extensive references)
*Partially ordered set
Wikimedia Foundation. 2010.