Englisch ⇄ Russisch +

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