Every finite lattice can be embedded in a finite partition lattice
scientific article; zbMATH DE number 3674150