Introduction to Information Retrieval

Every finite lattice L is bounded (see Exercise 6). If a lattice is bounded. (by 0 and I), then every x in L satisfies 0 :s x :::: I, 0 I\. X =0, 0 v x =x,.