for X being finite set holds Lin (singletons X) = bspace X