非空有界数集的确界一定存在且唯一;有界函数必有无穷多个界