1: \begin{definition}\label{def:manifold}

2: Let~$X$ be a topological space.

3: \begin{enumerate}[font=\normalfont]

4: \item We say that~$X$ is \emph{second countable} if there exists a countable basis for the topology.

5: \item An \emph{$n$\=/dimensional chart for~$X$ at a point $x\in X$} is a homeomorphism $\Phi\colon U\to V$ where~$U$ is an open neighbourhood of $x$ and \label{def:charts}

6: \begin{enumerate}

7: \item[(i)]~$V$ is an open subset of $\R^n$ or

8: \item[(ii)]~$V$ is an open subset of the half-space $H_n=\{ (x_1,\dots,x_n)\in \R^n\,|\, x_n\geq 0\}$ and $\Phi(x)$ lies on $E_{n-1}=\{ (x_1,\dots,x_n)\in \R^n\,|\, x_n= 0\}$.

9: \end{enumerate}

10: In the former case we say that $\Phi$ is a chart of type (i) in the latter case we say that $\Phi$ is a chart of type (ii).

11: \item We say that~$X$ is an \emph{$n$\=/dimensional manifold} if~$X$ is second countable and Hausdorff, and if for every $x\in X$ there exists an $n$\=/dimensional chart $\Phi\colon U\to V$ at~$x$.

12: \item We say that a point $x$ on a manifold\label{def:boundary-point} is a \emph{boundary point} if $x$ admits a chart of type (ii). (A point cannot admit charts of both types~\cite[Theorem~2B.3]{Hat02}.) We denote  the set of all boundary points of~$X$ by $\partial X$.

13: \item An \emph{atlas} for a manifold $X$ consists of a family of charts such that the domains cover all of $X$. An atlas is \emph{smooth} if all transition maps are smooth. A \emph{smooth manifold} is a manifold together with a smooth atlas. Usually one suppresses the choice of a smooth atlas from the notation.

14: \end{enumerate}

15: \end{definition}

16: