What does a finite group include?