# 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 .