7.1 基本假设与定义