summaryrefslogtreecommitdiff
path: root/library/topology/continuous.tex
diff options
context:
space:
mode:
Diffstat (limited to 'library/topology/continuous.tex')
-rw-r--r--library/topology/continuous.tex2
1 files changed, 2 insertions, 0 deletions
diff --git a/library/topology/continuous.tex b/library/topology/continuous.tex
index a9bc58e..95c4d0a 100644
--- a/library/topology/continuous.tex
+++ b/library/topology/continuous.tex
@@ -3,6 +3,8 @@
\import{function.tex}
\import{set.tex}
+\subsection{Continuous}\label{form_sec_continuous}
+
\begin{definition}\label{continuous}
$f$ is continuous iff for all $U \in \opens[Y]$ we have $\preimg{f}{U} \in \opens[X]$.
\end{definition}