Business Continuity Management Policy - Curtin Policies and ...

Erinnerung: Anwendung des Homomorphiesatzes2/38Satz: Sei Σ = (S, F) eine Signatur und A = (T, Φ) eine Σ-Algebra. Dannexistiert ein Homomorphismus h: G 0 (Σ) → A.Beweis:• alle Konstanten c ∈ ∑ 0 gehören zu T, da A ∑-Algebra• alle Terme t = f(t 1 ,...,t n ) ∈ G 0 (∑) gehören zu T• definiere h: G 0 (Σ) → T durch h(t) = t (Identität)• es gilt h(t)=h(t‘), wenn in A gilt t = t‘ nach den Gesetzen Φ• h induziert eine Äquivalenzrelation ≡ in G 0 (Σ)• Anwendung des Homomorphiesatzes liefert das Ergebnis• i h (G 0 (∑)/≡) = Bild(h) ist Unteralgebra von A• Einsicht: A kann nur dann mehr Elemente als Bild(h) umfassen, wennes in A Konstante gibt, die nicht Bild von Konstanten in G 0 (∑) sindInformatik I WS 03/04 - Prof. Dr. Gerhard Goos3. Termalgebren