Dacă G este o mulțime finită și ( ) este grup, atunci acesta se numește grup finit.
Se numește ordinul unui grup finit ( ) cardinalul (numărul elementelor) mulțimii G.
Se numește ordinul unui element (și se notează ord(x)) cel mai mic