En esta seccion estudiaremos varias clases de estructuras algebraicas en las cuales hay un orden parcial involucrado. Esto tendra una triple utilidad. Por un lado algunos de los resultados probados sobre algebras de Boole (por ejemplo el teorema de Rasiova y Sikorski) seran utilizados mas adelante para la prueba del teorema de completitud de la logica de primer orden. Tambien, esta seccion servira para volvernos algebristas maduros (lo mas que se pueda) ya que esto nos sera util a la hora de hacer logica matematica. La logica matematica es matematica aplicada al estudio de los matematicos, su lenguaje y sus metodos de demostracion, y que mas comodo para hacer logica matematica que contar con un matematico dentro de uno mismo para estudiarlo!
Finalmente cabe destacar que los resultados cubiertos en esta seccion son importantes en si mismos fuera de su vinculacion con la logica y tienen fuertes aplicaciones en otras disciplinas y ramas de la matematica.