Une variable muette est plus précisément une variable liée : son nom n’a de rôle qu’à l’intérieur de l’expression qui la lie. Ainsi, Σ de k = 1 à m de k² et Σ de j = 1 à m de j² désignent exactement la même chose. k ou j ne survit pas dans le résultat : c’est seulement le nom utilisé pour parcourir les indices. En revanche, m n’est pas muet ici : il reste un paramètre de la somme. Le même phénomène apparaît avec les produits, unions, intersections, intégrales et quantificateurs. On peut renommer