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.
New to topics? Read the docs here!
New to topics? Read the docs here!