1. Lattices

Definition. $\langle L, \leq \rangle$ is a lattice if it is a partially ordered set and every two elements have a least upper bound and greatest lower bound.

In other words, in a lattice $x \vee y$ and $x \wedge y$ are always defined. As with partially ordered sets, we usually just say ``the lattice $L$''.