A group is called finite if it has a finite number of elements.