型は高階の亜群(グルーポイド)である