Figure 3-1 should be accompanied with examples

[jiahao]

Last sentence of Section 3.2.1 needs further exposition. In particular, what kinds of lattices obey the definitions given and what don't?

Here is an example of a lattice whose join (as the least upper bound) of x and y is not Top while neither of x <: y nor y <: x hold: