数学梯形的定义及性质都是什么?