Твердження, що завжди повинно бути вірно для вказаного сегмент або на визначений комп'ютерної програми.