有界型空閒