[질문] 역원이란

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