基于Leslie Lamport 的定义，限定存在一个所有事件上的全序关系： 或者等价地，用modification order来定义： （实际上mo是strict total order，id就不用加了）
