啞元值

當建立數學公式時，需要引入各種局部的對象或啞元，可以用模塊或其它結構處理這樣的啞元。積分變數是數學中啞元的常用例子. 當給出一個 形式的積分時，約定的記號需要引入一個具有確定名的積分變數. 這個變數對積分而言是局部的，它的任何名稱不能與數學表達式中的 其它名稱衝突.