以此为这个主题定义了论域。换句话说，欧拉图可以表示简并之后的那些合取。对欧拉图的一个现代扩展是蜘蛛图，它向欧拉图增加了可以连接的存在点。这给予欧拉图析取特征。欧拉图原先已有合取特征（就是说区定义了，在该区中存在的对象，都有着合取起来的那些性质）。所以蜘蛛图允许使用欧拉图配备逻辑或的条件。