| Subject | English | Russian |
| progr. | class invariant | инвариант класса (специальное условие, которые проверяется после создания экземпляра класса и при обращениях к любому из экспортированных (т.е. доступного клиентами класса) методов) |
| progr. | class-wide invariant | инвариант надклассового типа (корпорации AdaCore Alex_Odeychuk) |
| progr. | class-wide type invariant | инвариант надклассового типа (корпорации AdaCore Alex_Odeychuk) |
| math. | invariant class | инвариантный класс |