אנגלית ⇄ רוסית +

class-wide type invariant מתח
.תִכנו	инвариант надклассового типа (корпорации AdaCore Alex_Odeychuk)