commutative-ring As a command 4 categories below commutative-ring Narrow by division-ring 3 mathematical-set 3 mathematical-field 2 binary-relation 1 countable-set 1 finite-set 1 function 1 mathematical-relation 1 mathematical-field 2finite-fieldintegral-domainscalar-field