有界集[合]