join

Given two elements \(a\) and \(b\) of a lattice, the join of \(a\) and \(b\) is the least upper bound of \(a\) and \(b\), denoted \(a\vee b\). Compare: meet.