The equality predicate (usually written '=') is also treated as a logical constant in many systems of logic.
Предикат рівності (зазвичай позначається "=") так само розглядається як логічна константа в багатьох системах логіки.