Tour:Subset containment gives inclusion of symmetric groups