Mitchell's embedding theorem (source code)

= Mitchell's embedding theorem
{wiki=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.