In model theory, interpretation of a structure M in another structure N is a technical notion that approximates the idea of representing M inside N. For example, every reduct or definitional expansion of a structure N has an interpretation in N. Many model-theoretic properties are preserved under interpretability. Wikipedia