有界半束