Grup (matematika)

Jadi, tiap aksi di atas mempunyai sebuah invers.