下定义的基本公式是什么意思