The definition proceeds in several stages. Recall from Chapter 3 that a lattice is a poset $ mathbf{P}!=!(P