• 9.1: What Is a Group?