Universal Algebra and Lattice Theory