Formale Semantik Denotationelle Semantik
Formale Semantik Denotationelle Semantik
Formale Semantik Denotationelle Semantik
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Ketten-vollständige partiell geordnete<br />
Mengen<br />
• Definition: Sei (D,v) eine partiell geordnete<br />
Menge. Eine Kette ist eine Teilmenge Y ⊆ D,<br />
so dass für beliebige Elemente d 1 , d 2 ∈ Y gilt:<br />
entweder d 1 v d 2 oder d 2 v d 1 .<br />
• (D,v) ist eine ketten-vollständige partiell<br />
geordnete Menge (ccpo = chain-complete<br />
partially ordered set), wenn jede Kette von<br />
D eine kleinste obere Schranke hat.<br />
36<br />
HPS WS 2002/03<br />
Dr. Sabine Glesner