Объяснение
Шаблон создаёт код для параметров типов; concept задаёт проверяемые требования к операциям. Требование наличия оператора не доказывает его математические свойства. Диагностика constraints лучше ошибки глубоко в реализации.
Задача для самостоятельного решения
Достаточно ли наличия operator< для корректной сортировки?
Показать разбор ответа
Нет: отношение должно удовлетворять строгому слабому порядку. Противоречивый компаратор нарушает предпосылки алгоритма даже при успешной компиляции.