for R being non empty add-associative addLoopStr
for I, J, K being Subset of R holds I + (J + K) = (I + J) + K