\emph{f} : A\times B\times A \to B\times A\times B \quad  sa \quad \emph{f} : ((a,b,a))=(b,a,b)