Pr-1st-1.1-m07-Slajd05

Konfiguracja spójna (1)

Konfigurację $\Gamma$ nazwiemy konfiguracją spójną lub obrazem spójnym jeżeli $\forall E\forall E'$ zachodzi:

$(E'\in \Gamma \land E\mapsto E')\Rightarrow (E\in \Gamma )$

Warunek ten oznacza, że jeśli jakieś zdarzenie $E'$ jest elementem konfiguracji spójnej $\Gamma$ (to znaczy, jeżeli $E'\in \Gamma$), to również wszystkie zdarzenia $E$ , od których $E'$ przyczynowo zależy (czyli $E\mapsto E'$) również są elementami tej konfiguracji spójnej.

<< Poprzedni slajd | Spis treści | Następny slajd >>