最小不動点
関数の不動点の中でも、何らかの半順序関係において最も小さい不動点のこと
/mrsekut-book-4320026578/088
Haskell/Denotational semantics - Wikibooks