Transfer Principle

A schema that asserts certain formulas (typically of a specified syntactic class, often first‑order) hold in an extended or nonstandard structure exactly when the corresponding formulas hold in the original structure, permitting the transfer of truths between them.