Introduction to lattices and order - Davey, B. A.; Priestley, Hilary A. (Cambridge Univ. Pr., 1990)