家 ❯ 全部 定义 ❯ 集合、逻辑和证明 ❯ 维恩图 定义

维恩图 定义

维恩 diagram（也称为主图、集合图或逻辑图）是显示不同集合的 finite 集合之间所有可能的逻辑关系的图表。这些图将 elements 描述为 plane 中的 points，并设置为闭合曲线内的区域。维恩图由多个重叠的闭合 曲线 组成，通常是圆形，每个代表一个集合。标记为 S 的曲线内的点表示集合 S 的元素，而边界外的点表示不在集合 S 中的元素。这有助于轻松阅读可视化；例如，作为集合 S 和 T 的成员的所有元素的集合，S ∩ T 由区域 S 和 T 的重叠面积在视觉上表示。在维恩图中，曲线以各种可能的方式重叠，显示了集合之间的所有可能关系。因此，它们是 欧拉图 的特例，不一定显示所有关系。

集合操作的图示如下图所示。