(The above identities are definitions, in the sense that the right-hand side is a name for the left-hand side.
(Вышеупомянутые тождества являются определениями в том смысле, что правая часть является именем для левой части).