More formally, we note that for any group , the family of its normal finite index subgroups forms a cofiltered category under inclusion. 로 나타냅니다. The assignment of to gives a functor from to the category of finite groups.