方程- 断言两个数值或表达式相等的符号公式
symbolische Formel, in der die Gleichheit zweier Werte oder Terme behauptet wird
