全有界