Introduction with applications to general algebra. Partially ordered sets, decomposition theory, representations of lattices, varieties and free lattices, coordinatization of modular lattices.