На абстрактных множествах данная задача рассматривалась только для простейшего случая — ФС ранга 3, на одном множестве 1). Вполне естественно, что в данном случае имеется только одно решение и оно групповое, так что $f(xy)=xy^{-1}$.