for X being set holds bspace X is right_complementable