Finite sublattices of three-generated lattices
Brian Davey, Ivan Rival · Journal of the Australian Mathematical Society · 1976
Abstract Every lattice generated by three unordered elements contains a finite sublattice generated by three unordered elements. A list ℒ of twelve finite lattices, each generated by a three-element unordered set, is given. It is proved that every lattice generated by a three-element unordered set contains a sublattice isomorphic to onė of the lattices in ℒ moreover, ℒ is the smallest such list.