| http://www.w3.org/ns/prov#value | - The three axioms that a set and its operation must satisfy in order to qualify as a group, are: (1) members of the set obey the associative principle [a ?? (b ?? c) = (a ?? b) ?? c]; (2) the set has an identity element, I, associated with the operation ??, such that a ?? I = a; (3) the set contains the inverse of each of its elements, that is, for each a in the set there is an inverse, a', such th
|