for x being set
for R being domRing
for V being RightMod of R
for A being Subset of V st x in A holds
x in Lin A