„The following

∑_{𝑥∈𝑆}

∏_{𝑥∈𝑆}

∫₀^∞ ⋯ d𝑥

lim _{𝑥→0}

∀ 𝑥

∃ 𝑥

are some common variable-binding operators. Each of them binds the variable 𝑥 for some set 𝑆.“

Quelle: https://en.wikipedia.org/wiki/Free_variables_...

Die entsprechende deutschsprachige Webseite https://de.wikipedia.org/wiki/Freie_Variable_... weicht einer direkten Übersetzung (etwa als Variablenbinder oder Variablenbindungsoperator) aus und spricht stattdessen von „[mathematischen] Notationen mit gebundenen Variablen“.