分类: 集合不等式、逻辑用语