Cấu trúc sự kiện

Trong toán học và khoa học máy tính, một cấu trúc sự kiện đại diện cho một tập hợp các sự kiện, một số trong đó chỉ có thể được thực hiện sau một sự kiện khác (có sự <i id="mwCA">phụ thuộc</i> giữa các sự kiện) và một số trong đó có thể không được thực hiện cùng nhau (có xung đột giữa các sự kiện).

Định nghĩa chính thức 
Một cấu trúc sự kiện  bao gồm

 một bộ sự kiện . 
 một quan hệ thứ tự một phần trên  gọi là phụ thuộc nhân quả. 
 một mối quan hệ đối xứng không phản xạ  gọi là không tương thích (hoặc xung đột).

như vậy mà

 nguyên nhân hữu hạn: cho mọi sự kiện , bộ  tiền thân của  trong  là hữu hạn 
 xung đột di truyền: cho mọi sự kiện , nếu  và  sau đó .

Xem thêm 

 Quan hệ nhị phân 
 Cấu trúc toán học

Tham khảo 

 

Thuật ngữ máy tính