我们给出如下定义 顺次连接