\begin{definition}[Definition:Polaris]
'''Polaris''' is a star whose position in the celestial sphere is very nearly exactly at the north celestial pole.
Hence it appears not to move through the sky during the course of a night.
\end{definition}