集合的合成 python

        #前提条件self.sets==other.sets
        an=set()
        for x in other.rel:
            for y in self.rel:
                if x[1]==y[0]:
                    m=tuple([x[0],y[1]])
                    an.add(m)
        return Relation(self.sets, an)
        

其中self.sets和other.self都表示一个集合，self.rel和other.rel分别是self.sets的二元关系和other.self的二元关系。 tuple是序偶类型