（）是指根据某类问题中的部分对象与某种特征之间的必然联系，归纳出该类问题所有对象都拥有的某种特征。