| Subject | English | Russian |
| progr. | function precondition | предусловие функции (специальное условие, которые проверяется при вызове (входе в) функцию Alex_Odeychuk) |
| progr. | function preconditions and postconditions | предусловия и постусловия функции (Alex_Odeychuk) |