theorem :: RMOD_4:75

for R being domRing
for V being RightMod of R
for A, B being Subset of V holds Lin (A \/ B) = (Lin A) + (Lin B)