Definition:Symmetric Group on n Letters