有性质描述法描述一元二次方程结集