Zu einer Gruppe ${\displaystyle {}G}$ nennt man die Menge ${\displaystyle {}G}$ mit der durch

${\displaystyle {}g\cdot _{\rm {op}}h:=hg\,}$

definierten Verknüpfung die oppositionelle Gruppe ${\displaystyle {}G}$. Sie wird mit ${\displaystyle {}G^{\rm {op}}}$ bezeichnet.