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