for X being set
for x being Element of (bspace X) holds (1_ Z_2) * x = x