字母變式(alphabetical variant)表達式的字母代換式.設A,B是兩個表示式(語言的符號的有限串).如果A與B的差別僅僅是某些約束變元的不同，即如果一個非約束變元符號二出現於A中，那么二也必出現於B中，並且二在B中出現的次數及位置與在A中的出現情況相同.則A,B互稱字母變式.
