对称性;非负性;对第一变元的线性性质;对第二变元的线性性质