Orden

Para un elemento en una estructura algebraica con una operación binaria y un elemento neutro, el orden es el menor entero positivo n tal que aplicar la operación n veces al elemento produce el neutro; si no existe tal n, se dice que el elemento tiene orden infinito.