Mitchell's embedding theorem

Mitchell's embedding theorem is a result in set theory that pertains to the relationship between certain kinds of models of set theory. Specifically, it deals with the ability to embed a certain class of set-theoretic structures (often related to the constructible universe) into larger structures, while preserving certain properties.