Mapping Fixpoints Under Lattice Morphisms
Definition: Let and be complete lattices. We call a complete join-morphism iff for each set we have
For example, .
Lemma: Let and be complete lattices, and , , be complete join-morphisms such that
for all . If denotes least fixpoint of a function, then
In other words, we can approximate by computing .