定义与简单性质