Lattice theory - Birkhoff Garrelt (1961)