Chapter 5Lattices

5.1 Introduction

Given a poset, the two most fundamental derived operations on the elements of the poset are the join and the meet operations. As we have seen earlier, join and meet operations may not exist for all subsets of the poset. This observation motivates the notion of lattices that occur in many different contexts. Let us recall the definition of a lattice from Chapter 1.

If c05-math-0004 exists, then we call it a sup semilattice. If c05-math-0005 exists, then we call it an inf semilattice.

In our definition of a lattice, we have required the existence of c05-math-0006's and c05-math-0007's for sets of size two. This is equivalent to the requirement of the existence of 's and 's for sets of finite size by using induction (see Problem 5.6).

We now ...

Get Introduction to Lattice Theory with Computer Science Applications now with the O’Reilly learning platform.

O’Reilly members experience live online training, plus books, videos, and digital content from nearly 200 publishers.