Assertion: ring | /r/MadeOf | empty product
Facets:
Source sentences:
text: Poonen makes the counterargument that rings without a multiplicative identity are not totally associative (the product of any finite sequence of ring elements, including the empty sequence, is well-defined, independent of the order of operations) and writes "the natural extension of associativity demands that rings should contain an empty product, so it is natural to require rings to have a 1".