11.2 一些必要的概念和符号约定