Alphabet erster Stufe/A/Umbelegung und Uminterpretation/Definition/Begriff

Die Uminterpretation ${}I{\frac {m}{x}}$ zu einer ${}S$-Interpretation ${}I$ in einer Menge ${}M$, wobei ${}x$ eine Variable und ${}m\in M$ ein Element der Grundmenge ist.