arith2 http://www.openmath.org/cd/arith2.ocd 2003-04-01 experimental 1999-05-10 1 1 arith1 quant1 relation1 nums1 alg1 set1 setname1 Further to the basic arithmetic functions, we define some more common arithmetic operations. This includes a commutative times which exhibits the use of inheritance within the CD's. times The symbol representing an n-ary multiplication function inheriting from the times in arith1, but with the extra property that here it must be commutative. for all a,b | a * b = b * a inverse A unary operator which represents the inverse of an element of a set. This symbol could be used to represent additive or multiplicative inverses. inverse(inverse(a))=a