関数の不動点の中でも、何らかの半順序関係において最も小さい不動点のこと