lattice
A partially ordered set in which all finite subsets have a least upper bound and greatest lower bound.
This definition has been standard at least since the 1930s and probably since Dedekind worked on lattice theory in the 19th century; though he may not have used that name.
See also complete lattice, domain theory.