for GF being Field
for V being VectSp of GF
for x being Element of V
for A being Subset of V st A = the carrier of V holds
x ++ A = A