A lattice is a [[Partially Ordered Set|partially ordered set]] with [[Finiteness|finite]] [[Meets and Joins|meets]] and [[Meets and Joins|joins]].