for X being set holds bspace X is add-associative