于是我们有a,点，)CU,于是=U知（a,b),这色就是说 U可以表标为中的菜丝元素之并这就证明了是的-个 基 ?有舸数基，所以加满足第可数性公是