Ordered sets and lattices

Book Page No. 166