theorem Th21: :: BSPACE:21

for X being set holds bspace X is Abelian