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

inductive invariant מתח
.מָתֵי	индуктивный инвариант