在逻辑时钟算法中，Lamport定义了一个称作“（）”的关系，表达式a→b表示（）之前发生。先发生关系是一个传递关系。