Assertion: ring | /r/CapableOf | call the ring axioms
Facets:
Source sentences:
text: A ring is a set R equipped with two binary operations + and · satisfying the following three sets of axioms, called the ring axioms