for T being RealLinearSpace
for X being set
for U being Subspace of RLSp2RVSp T
for W being Subspace of T st [#] U = [#] W holds
( X is Linear_Combination of U iff X is Linear_Combination of W )