有界量化子