There is an interesting rant from Gian-Carlo Rota on why lattices are so rarely taught despite being so ubiquitous. I include them based on the amount of use I have gotten out of them over the years. For example, the entire theoretical structure of eventual consistency is "make your merge operation the meet of a semilattice."