概率的定义及性质