第3.1节 性质定义