代数替换公理(algebraic substitution axiom)：在任一代数恒等式中，每一个字母符号只是一个泛指的变量，因而可用其它形式的字母或恒等的函数表达式(只要用这些表达式替换后等式两边均仍有意义)替换，替换后等式仍成立。