Критерий для определителя

[grizzly]

(Оффтоп)

Munin в сообщении #1053694 писал(а):

Вообще-то, "признаки равенства треугольников" являются критериями, то есть, действуют и в обратную сторону.

Почему-то такое употребление слова "критерий" мне режет слух. Всё же критерий должен что-то определять, то есть давать возможность выделить некоторое множество, которому принадлежит данный объект.

Если бы мы для данного фиксированного треугольника спрашивали критерий равенства ему других треугольников (выделяли множество равных данному среди прочих), то пусть -- было бы несколько равносильных критериев. Но пытаться строить что-то подобное на равноправном отношении эквивалентности это или слишком заумно для такого вопроса или не совсем корректно (в плане словоупотребления).

Но это именно как я ощущаю.

[Munin]

(Оффтоп)

grizzly в сообщении #1053702 писал(а):

Если бы мы для данного фиксированного треугольника спрашивали критерий равенства ему других треугольников (выделяли множество равных данному среди прочих), то пусть

Не вижу никакой разницы с наличествующим положением дел. "Признак равенства треугольников" можно рассматривать как функцию от первого из треугольников, и тогда при заданном первом треугольнике он становится именно тем, что вы описываете. Критерий-функция, что тут такого.