(数学) 数や式の間で成り立つ関係や計算法則などを、記号で表した式。