非负数的性质