A function f : D -> E, where D and E are cpos, is coNTinuous if it is monotonic and f (lub Z) = lub f z | z in Z for all directed sets Z in D. In other words, the image of the lub is the lub of any directed image. All additive functions (functions which preserve all lubs) are coNTinuous. A coNTinuous function has a {least fixed poiNT} if its {domain} has a least elemeNT, {bottom} (i.e. it is a cpo or a "poiNTed cpo" depending on your definition of a cpo). The least fixed poiNT is fix f = lub f^n bottom | n = 0..infinity (1994-11-30)