El orden de un grupo es su cardinalidad; sobre la base de él, los grupos pueden clasificarse en grupos de orden finito o de orden infinito.