Introduction to Lattices and Posets — KopHub