英语 ⇄ 俄语 +

global invariant 强调
编程	глобальный инвариант (предикат, истинный в каждом видимом состоянии программы, а именно, до и после каждого неделимого действия ssn)
global invariants
编程	глобальные инварианты (ssn)