In model theory, a transfer principle states that all statements of some language that are true for some structure are true for another structure. One of the first examples was the Lefschetz principle, stating that any sentence in the first-order language of fields true for the complex numbers is also true for any algebraically closed field of characteristic 0.