I'm not sure if I am using the right terms here, but: When X is a finite set and R is a relation.... If (X,R) is a lattice, then (X,R) is also a complete lattice. Does this make sense? The question then is, why is is also automatically complete. I don't understand that.