generated at
スコット連続関数
Scott-continuous function
単調写像である


スコット連続を満たすような関数