把以上四-五种关系子集个数加起来，正好是 2^n+1 个。为什么多一个？

因为空集即和它相离，也被它包含。算了两遍。