4.3.1 积与和的定义