В математике - элемент, у которого существует обратный.