На множестве
определены две бинарные алгебраические операции, которые обозначены символами
и
. Эти операции удовлетворяют следующим аксиомам:
Тогда для того, чтобы алгебраическая структура, образованная множеством
с указанными операциями, была некоммутативным кольцом с единицей, к предложенному списку аксиом нужно добавить …