Every finite lattice can be embedded in the lattice of all equivalences over a finite set (Preliminary communication) Pavel Pudlák, Jiří Tůma (1977) Commentationes Mathematicae Universitatis Carolinae Similarity: