概率的定义及其性质