字母变式

（数学术语）

字母变式是一个数学术语。字母变式(alphabetical variant)表达式的字母代换式.设A，B是两个表示式(语言的符号的有限串).如果A与B的差别仅仅是某些约束变元的不同，即如果一个非约束变元符号二出现于A中，那么二也必出现于B中，并且二在B中出现的次数及位置与在A中的出现情况相同.则A，B互称字母变式.