It's been known for 35 years that every finite lattice can be embedded in a finite partition lattice (Pudlak and Tuma, Algebra Universalis 1980, Volume 10, Issue 1, pp. 74--95).

I don't follow the construction in the proof enough to understand what size partition lattice it produces in the case of the power set lattice, and if it does, what is its size. Is the embedding known earlier for the power set lattice?