Un gruppo è detto finito se il numero di elementi del supporto del gruppo $G$ è finito.
Il numero di elementi del supporto $G$ è detto ordine del gruppo.