Definition:Finite Group

Definition
A finite group is a group with a finite number of elements.