Pr-1st-1.1-m07-Slajd12

Maksymalne odcięcie spójne

Mając dane pewne odcięcie $\mathrm{\Psi }$, zawsze można wyznaczyć zbiór spójnych odcięć $\mathrm{\Psi }$, takich, że:

$\mathrm{\forall }{\mathrm{\Psi }}_{{1}}\in \mathrm{\Psi }::{\mathrm{\Psi }}_{{1}}\subseteq \mathrm{\Psi }$

Trywialnym przykładem jest odcięcie obejmujące zbiór zdarzeń początkowych.

Maksymalnym odcięciem spójnym określa się najświeższe (najnowsze ) odcięcie należące do $\mathrm{\Psi }$. Formalnie zdefiniować je można jako takie odcięcie spójne ${\mathrm{\Psi }}_{{m}{a}{x}}\in \mathrm{\Psi }$, że $\mathrm{\exists }{\mathrm{\Psi }}_{{2}}\in \mathrm{\Psi }::{\mathrm{\Psi }}_{{1}}\subset {\mathrm{\Psi }}_{{2}}$.

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