>>257
>「 f が点xにおいて limsup[y→x]｜(f(y)−f(x))/(y−x)｜＜＋∞ を満たすとき、f は一点xにおいてリプシッツ連続であ>る」
>という定義を採用するのが自然だと思われる。

その定義なら、補集合は開集合にならないか？