В какой-то теме придумали слово
коджибулярная. Правда, сейчас видно, что зря: это, вроде, была обычная коммутативность, но ясность появилась уже после того как тема отыграла.
Не хотел привязываться к лишним свойствам.
Тогда ясно. Выделили подгруппу

, и кроме изоморфных

(одна для коммутативности, другие для чего-то там инволюциесвязанного) там нетривиальная только

, соответствующая вашему свойству.
А ещё идемпотентна.
Ну это уже точно не про реальный Set.
-- Чт фев 26, 2015 01:42:09 --Правда, сейчас видно, что зря: это, вроде, была обычная коммутативность
А, не, там у функции не обязательно два аргумента было, так что учитывались все перестановки.