Variablen (= Veränderliche) sind Platzhalter (z. B. a,b, x, y, ...), an deren Stelle Zahlen aus einer vorgegebenen Grundmenge M geschrieben werden können. Ein Term über einer Grundmenge M ist ein Ausdruck, der aus Variablen, Zahlen und/oder Rechenzeichen zusammengesetzt ist. Die Division durch Null ist nicht erlaubt.