Seol mar théacs é seo: Ordered sets and complete lattices - A primer for computer science