关系是传递的等价于关系与自身复合是自身的子集
发布人