for X being non empty set
for x being Element of X holds (<*> (bspace X)) @ x = <*> Z_2