alg1 http://www.openmath.org/cd/alg1.ocd 2003-04-01 official 2001-03-12 2 0 arith1 logic1 quant1 relation1 set1 setname1 A CD of basic algebraic concepts At present this CD only holds definitions of zero and one. They are deliberately defined here without specifying any particular structure (e.g. a group) to which they correspond. zero This symbol represents the additive identity element. for all a | a + 0 = a for all a | 0 * a = 0 The zero of the integers is 0 0 one This symbol represents the multiplicative identity element. for all a | 1 * a = a for all a | a * 1 = a The one of the integers is 1 1