На множестве

определены две бинарные алгебраические операции, которые обозначены символами

и

. Эти операции удовлетворяют следующим аксиомам:

Тогда для того, чтобы алгебраическая структура, образованная множеством

с указанными операциями, была некоммутативным кольцом с единицей, к предложенному списку аксиом нужно добавить …