Ordre

Pour un élément d'une structure algébrique munie d'une opération binaire et d'un élément neutre, l'ordre est le plus petit entier positif n tel que l'application de l'opération n fois à l'élément donne l'élément neutre ; s'il n'existe pas d'entier tel, l'élément est dit d'ordre infini.