Definition:Finite Group

Definition
A finite group is a group of finite order.

That is, a group $\struct {G, \circ}$ is a finite group its underlying set $G$ is finite. That is, a finite group is a group with a finite number of elements.

Finite Group Axioms
A finite group can be defined by a different set of axioms from the conventional group axioms:

Also see

 * Definition:Order of Structure