An elementary embedding is a type of function between two structures in model theory that preserves the truth of first-order statements. This means if a statement is true in one structure, it remains true in the other when the embedding is applied. Elementary embeddings are crucial for understanding relationships between different models and play a significant role in the study of forcing and the independence of various mathematical propositions.
congrats on reading the definition of elementary embedding. now let's actually learn it.