Given a domain D, a continuous function f has a least fixed point, which we denote fix(f):=⨆n≥0fn(⊥).