6.3.1 符号与基本定义