theorem Th10: :: RLTOPSP1:10

for X being non empty addLoopStr
for M, N, V being Subset of X st M c= N holds
M + V c= N + V