Order Of An Element In A Group Definition