| Subject | Russian | English |
| progr. | предусловие функции | function precondition (специальное условие, которые проверяется при вызове (входе в) функцию Alex_Odeychuk) |
| progr. | предусловия и постусловия функции | function preconditions and postconditions (Alex_Odeychuk) |
| progr. | совокупность объектов, характеризуемая функциями, аксиомами и предусловиями | collection of objects characterized by functions, axioms and preconditions (ssn) |
| progr. | тип – это совокупность объектов, характеризуемая функциями, аксиомами и предусловиями | a type is a collection of objects characterized by functions, axioms and preconditions (см. Object-Oriented Software Construction second edition by Bertrand Meyer ssn) |
| progr. | тип это совокупность объектов, характеризуемая функциями, аксиомами и предусловиями | a type is a collection of objects characterized by functions, axioms and preconditions (см. Object-Oriented Software Construction second edition by Bertrand Meyer ssn) |
| progr. | функции, аксиомы и предусловия | functions, axioms and preconditions (ssn) |
