:: deftheorem Def11 defines Vector LMOD_7:def 11 :
for K being Ring
for V being LeftMod of K
for A being Subset of V st A <> {} holds
for b₄ being Vector of V holds
( b₄ is Vector of A iff b₄ is Element of A );