Let be any set, and let be the set of permutations on . Please show that is a group under function composition.
%%%%%
% DEPENDENCIES
% RequiredPackages: \usepackage{tikz}
% RequiredMacros: \DeclareMathOperator{\aut}{Aut}
%%%%%
\begin{problem}
Type the problem code here.
\end{problem}