有界結び半束