集合间的基本关系集合与常用逻辑用语