数学において、関数または写像 f が、定義域のある点 a において連続（れんぞく、英: continuous）であるとは、f が a において極限を保つこと、平たく言えば、f の入力 x を a に「限りなく近づける」ことで、その近づけ方によらず、出力 f(x) をも f(a) に「限りなく近づける」ことができるということである。特に定義域の全ての点において連続であるとき、 f は連続関数（れんぞくかんすう、英: continuous function）または連続写像（れんぞくしゃぞう）という。連続でないことは不連続（ふれんぞく、英: discontinuous）という。

連続性は多項式関数や指数関数といった多くの初等関数が備える性質であり、実数値関数では連結集合[注 1]の上で中間値の定理、コンパクト集合[注 2]の上で最大値最小値定理が成り立つほか、微分可能であるための必要条件や積分可能であるための十分条件でもあるなど、解析学的に重要な性質を伴う。

連続性は位相空間論において一般化され、近傍系や開集合系などの位相的構造を逆像で保つこととして定義され（後述）、この意味で連続写像は位相的構造についての準同型である。そのため、位相空間の間の写像が、双方向に位相的構造を保つ写像、つまり同相写像であることは、逆も連続な全単射連続写像であることと同値である。さらに、連続写像は位相空間の圏における射となる。また、連続性はホモトピーの定義などを通じて位相幾何学の土台をなす。
実関数の連続性ε-δ論法による関数の連続性

実関数、すなわち定義域と値域がともに実数直線上にある関数 f(x) が x = a を含む区間で定義されているとき、座標平面上にそのグラフを描くことができるが、a における連続性とは、『数直線上の左から x = a に近づいたときの極限値と、数直線上の右から x = a に近づいたときの極限値が一致して、しかも f(a) に等しいこと』[1]であり、関数の極限を用いて以下の等式で定義される[1][注 3]。 lim x → a f ( x ) = f ( a ) {\displaystyle \lim _{x\to a}f(x)=f(a)}

これはε-δ論法によって次のように言い換えることができる。任意の正の実数 ε について、適切に正の実数 δ をとることで、f の定義域に含まれて |x − a| < δ を満たす全ての x ≠ a について |f(x) − f(a)| < ε が成り立つ。

これはつまり、どれだけ小さな正の実数 ε に対しても「a との誤差が δ 未満である x ≠ a を持ってくれば、f(a) との誤差が ε 未満であることが保証された f(x) を得られる」ような正の実数 δ が存在するということを意味する[3]。なお、x ≠ a の条件は無くてもよい[注 4]。

関数 f(x) が定義域上のすべての点において連続であるとき、これを連続関数と呼ぶ[1]。