[질문] 역원?

집합G에서 어떤결합법 ○(2항연산)을 생각할 때,G의임의의원소a에대해a○a'=a'○a=e(e는 단위원)가되는 a'가 단1개존재하면,a'를연산○에대한a의역원이라합니다.