数学中def是什么