(也 翻译作 韦恩图)

相比 欧拉图,可以处理 空类 的 情况。