Partial orders, lattices, and Galois connections. The algebraic structure underlying abstract interpretation and monotone fixed-point computation.
Part of Mathematical Foundations of Model Checking on formal.org.