Набір умов, які повинні бути виконані для того, щоб певна програма шлях для виконання.