это значит установить, что при всех допустимых значениях переменных его левая и правая части представляют собой тождественно равные выражения.
