Definition:Half Turn

Definition
Context: Euclidean geometry.

A half turn is a rotation $r_\pi$, that is:
 * whose angle is a straight angle: $180 \degrees$ or $\pi$ radians.