역원(逆元)이란, 어떤 연산의 결과가 반대가 되는 값을 말한다.
집합 와 이항연산자 에 대해, 만약 항등원 가 존재한다고 할 때, 의 원소 에 대해
를 만족하는 의 원소 가 유일하게 존재할 때, 를 의 역원이라고 한다.