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)

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ = ] [ ad ] [ additive ] [ ag ] [ ai ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ aS ] [ b ] [ bo ] [ bot ] [ bottom ] [ bS ] [ ch ] [ co ] [ con ] [ cpo ] [ D ] [ dd ] [ de ] [ ding ] [ do ] [ domain ] [ du ] [ E ] [ ec ] [ ed ] [ element ] [ er ] [ eS ] [ et ] [ fi ] [ file ] [ fix ] [ fixed point ] [ fo ] [ for ] [ function ] [ ge ] [ h ] [ hr ] [ id ] [ il ] [ image ] [ in ] [ infinity ] [ int ] [ io ] [ ir ] [ iS ] [ it ] [ leaSt fixed point ] [ Lex ] [ lu ] [ lub ] [ ma ] [ mo ] [ mod ] [ module ] [ monotonic ] [ na ] [ nc ] [ nf ] [ ng ] [ ni ] [ no ] [ nS ] [ nu ] [ om ] [ pe ] [ ph ] [ point ] [ pr ] [ query ] [ rc ] [ re ] [ Se ] [ Serve ] [ Set ] [ St ] [ T ] [ th ] [ to ] [ tt ] [ uS ] [ ve ] [ word ] [ Z ]