for V being RealUnitarySpace
for A being Subset of V
for x being set st x in A holds
x in Lin A