Join in a lattice (source code)

= Join in a lattice
{title2=$a\vee b$}

The join of two elements of a <lattice> is their <least upper bound>. In a <lattice> of closed <set families>, it is the closure of their union.