for V being non empty addLoopStr
for M, N being Subset of V st ( M is empty or N is empty ) holds
M + N is empty