Def/Order of a group element

 =Metadata=