集合运算

• 零化子
• 贝叶斯定理
• 布尔不等式
• 交
• 基数加法
• 基数求幂
• 基数乘法
• 范畴积
• 补集
• 完全积
• 合取
• 并
• 直和
• 不交并
• 滤子
• 交集
• 格代数系统
• Mex
• 集差
• 集减
• 支撑
• 对称差
• 超滤子
• 并集
• 无序并集