Email Record: Introduction to lattice algebra :