定义,是用文字去描述是什么.性质,他具有的独特之处,公式,就是定义推导出来的数学表达式,运算法则,是推导的前提下人为提出来的符合客观的法则.