事件关系运算