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.