| Subject | English | Russian |
| progr. | class-wide type invariant | инвариант надклассового типа (корпорации AdaCore Alex_Odeychuk) |
| phys. | homotopy type invariant | инвариант гомотопического типа |
| progr. | subtyping based on the strengthening of type invariants | создание подтипов на основе усиления инвариантов типов (Alex_Odeychuk) |
| progr. | subtyping with strengthening type invariants | создание подтипов на основе усиления инвариантов типов (Alex_Odeychuk) |
| progr. | type invariant | инвариант типа (an invariant is an assertion that is expected to be true for all objects of a given type when viewed from outside the package defining the type; корпорации AdaCore Alex_Odeychuk) |
| progr. | type invariant checking rules | правила проверки инварианта типа (Alex_Odeychuk) |
| progr. | type invariant expression | выражение-инвариант типа (Alex_Odeychuk) |