Starting with a decreasing map
φ : X → X on a partially ordered set X we construct a map Itφ which intuitively
can be understood as the iteration (countable or transfinite) of φ. The main
properties which Itφ inherits from φ are investigated. As application of the main
result some fixpoint theorems are proved. Besides, our method yields constructive
proofs for results which are usually demonstrated with the help of the axiom of
choice.