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

Так и напиши, ёпта

Мне проще назвать функцию "checkIfAllElementsAreEqual" но это императивно

Я так понимаю, что всё равно те, кто это будут читать, достаточно наркоманы, чтобы понять, что ты имеешь в виду

К счастью никто это читать не будет )

HasSameValues() : bool?

Почти. проблема в том, что операция относительно которой мы вычисляем "equals" является параметром. То есть по сути мы проверяем толерантность элементов к условию. И тогда мы приходим к forall но оно тоже не передаёт семантику

Array.eachEquals(value) ?

Я конечно в ушедший поезд, но я б назвал типа allMatch(predicate)

Угу, только предикат вызывающему не обязательно известен) Но да, так в итоге и сделано