瑞士数学家欧拉用圆圈来表示两个概念在外延间可能具有的五种关系的图解。图（一）表示同一关系，图（二）表示上属关系（真包含关系），图（三）表示下属关系（真包含于关系），图（四）表示交叉关系，图（五）表示不相容关系（即全异关系）。
