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

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