Gruplar için verilen aksiyomlardan biri "Her elemanın bir tersi vardır" şeklindedir. Bu aksiyom hangi cebirsel yapıyı tanımlamaktadır?