1993年经全国科学技术名词审定委员会审定发布的数学名词。