什么是非退化?数学