- нерівність, правильна для всіх до­пустимих значень змінних, що входять у цю нерівність.