\begin{definition}[Definition:Half-Integer]
A '''half-integer''' is a number of the form:
:$n + \dfrac 1 2$
where $n \in \Z$.
The set of all '''half-integers''' can be defined as:
:$\left\{{n + \dfrac 1 2: n \in \Z}\right\}$
and can be denoted as $\Z + \dfrac 1 2$.
\end{definition}