極限と連続を定義するもの。