In der
Mathematik und
Logik bezeichnet man eine
Variable als in einer
mathematischen Formel frei vorkommend, wenn sie in dieser Formel an mindestens einer Stelle nicht im Bereich eines
Operators auftritt. Sind hingegen alle Vorkommen der Variable innerhalb der Formel an Operatoren gebunden, bezeichnet man die Variable als in dieser Formel
gebunden. Eine Formel ohne freie Variablen wird
geschlossene Formel, eine Formel mit mindestens einer freien Variablen wird
offene Formel genannt.