スコット連続関数
Scott-continuous function
単調写像である
スコット連続を満たすような関数
/mrsekut-book-4320026578/082
https://ja.wikipedia.org/wiki/スコット連続