二つの式または数を等号（=）で結んだもの。

equation ; equality

等式の変形

不等式（inequality）

恒等式（identity）

方程式（equation）

連立方程式（simultaneous equations）

等号（equals sign）

Logical equality

Extensionality