Tour:Understanding the definition of a group