for X being finite set holds singletons X is Basis of (bspace X)