韦恩图
贡献者： addis
- 本文处于草稿阶段。
1. 韦恩图
未完成：不要出现没有介绍过的术语 “类”
韦恩图（Veen diagram），是在所谓的集合论（或者类的理论）数学分支中，在不太严格的意义下用以表示集合（或类）的一种草图。它们用于展示在不同的事物群组（集合）之间的数学或逻辑联系，尤其适合用来表示集合（或）类之间的 “大致关系”。它也常常被用来帮助推导（或理解推导过程）关于集合运算（或类运算）的一些规律。
图 1：Veen 图
条件越多，在韦恩图上范围就越小，这似乎很好理解。
我们将全集用黄色来表示，一个个限制条件瓦解侵蚀，我们用粉色来标记。那么，如图所示：
未完成：粉色标记什么？符合条件还是不符合条件？需要体现粉色重合的情况
图 2：条件越多，在韦恩图上范围就越小