[1] 等価 (equivalent) (等しい (equals) ) とは、 被演算子同士が同じとみなされることをいいます。

[2] 等価を表す演算子として = や ≡ のように横線を重ねたものを使うことがよくあります。