En este capítulo estudiaremos varias clases de estructuras algebraicas en las cuales hay un orden parcial involucrado. Esto tendrá una triple utilidad. Por un lado algunos de los resultados probados sobre álgebras de Boole (por ejemplo el Teorema de Rasiowa y Sikorski) serán utilizados mas adelante para la prueba del Teorema de Completitud de la lógica de primer orden. También, este capítulo servirá para volvernos algebristas maduros (lo mas que se pueda) ya que esto nos será útil a la hora de hacer lógica matemática. La lógica matemática es matemática aplicada al estudio de los matemáticos, su lenguaje y sus métodos de demostración, y que mas cómodo para hacer lógica matemática que contar con un matemático dentro de uno mismo para estudiarlo!
Finalmente cabe destacar que los resultados cubiertos en este capítulo son importantes en si mismos fuera de su vinculación con la lógica y tienen fuertes aplicaciones en otras disciplinas y ramas de la matemática.