• любой элемент a имеет левый и правый обратные элементы, которые в общем случае не совпадают

• любой элемент a имеет единственный обратный элемент

• любой элемент a, не равный нулю, имеет единственный обратный элемент

• существует элемент a, который имеет единственный обратный элемент