Partial Orders and the Divisibility Lattice

A poset is a set with a reflexive, antisymmetric, transitive order; under divisibility $x \preceq y \iff x \mid y$ the integers form a lattice where $\gcd$ is the meet and $\operatorname{lcm}$ is the join.