Prefer a chat interface with context about you and your work?
Semigroups satisfying identity<i>xy</i>=<i>f</i>(<i>x, y</i>)