On diagonal fixed points of increasing f
β
LoΓ―c Colson
π
Article
π
1999
π
Elsevier Science
π
English
β 228 KB
It is shown that the least fixed point and greatest fixed point operations of an increasing function 0 of two arguments over a complete lattice commute if the function is fight-associative.