完全有界集是有界集;完全有界集必可分;完全有界集的子集是完全有界集;有限个完全有界集的并集是完全有界集