Article in abstract-algebra P4P: A Graphical Introduction to Lattices (philosophyforprogrammers.blogspot.com)