#Contents# * table of contents {:toc} ## Definition ## ### In premetric spaces ### Let $T$ be a type and $S$ be a [[set]] and a $T$-[[premetric space]]. An endofunction $f:S \to S$ is __continuous at a point__ $c:S$ if the [[limit of a function|limit]] of $f$ approaching $c$ is equal to $f(c)$ $$isContinuousAt(f, c) \coloneqq \lim_{x \to c} f(x) = f(c)$$ A function $f$ is __pointwise continuous__ if it is continuous at all points $c$: $$isPointwiseContinuous(f) \coloneqq \prod_{c:S} isContinuousAt(f, c)$$ ## See also ## * [[premetric space]] * [[limit of a function]]