集合与常用逻辑 集合及其运算