Meet in a lattice
= Meet in a lattice
{title2=$a\wedge b$}
The meet of two elements of a <lattice> is their <greatest lower bound>. For <set families> ordered by inclusion, it is their intersection whenever that intersection lies in the specified <lattice>.