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

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