\begin{definition}[Definition:Cart]
A '''cart''' is a body with a given mass which is free to move with zero friction in a single dimension, that is, back and forth.
It is usually imagined as having wheels on which it can roll.
\end{definition}