A lattice is a poset in which binary meets $\wedge$ and binary joins $\vee$ exist.