The equality predicate (usually written '=') is also treated as a logical constant in many systems of logic.
Предикат равенства (обычно пишется «=») также рассматривается как логическая константа во многих системах логики.