\begin{definition}[Definition:Euclidean Geometry]
Euclidean geometry is the branch of geometry in which the parallel postulate applies.
An assumption which is currently under question is whether or not ordinary space is itself Euclidean.
'''Euclidean geometry''' adheres to Euclid's postulates.
\end{definition}