Finite group (source code)

= Finite group
{wiki}

A finite group is a <group> with finitely many elements. Its number of elements is its order.