 It is proved that the operation of sum for relation numbers is associative and other properties that directly follow from the corresponding properties of the sums and products of relations. Among the many theorems is the fact that sum for relation numbers is associative: