来说，在右图存在以下交集formula_1formula_2formula_3formula_4除了上述指定的交集之外， "A"、"B" 和 "D" 到"G" 这些集合是可分开获得的，集合 "C" 只能是 "B" 的子集。在复杂的图中，单元素集合与/或合取经常有可能被其他集合组合所遮掩。在这个例子中的两个蜘蛛分别对应于下列逻辑表达式:红蜘蛛:formula_5蓝蜘蛛:formula_6