product(TupleOfSets)->Relation类型Relation=relation()TupleOfSets=tuple_of(a_set())返回TupleOfSets集合的非空元组的Cartesian