\begin{definition}[Definition:Order of Cards]
Let $D$ be a deck of cards.
The cards in the deck can be considered to be stacked uniformly, usually all in the same orientation, with a card on the top and a card on the bottom.
The '''order''' of the cards is the total ordering $\prec$ defined as:
:$a \prec b$ {{iff}} $a$ is somewhere underneath $b$
Category:Definitions/Cards
\end{definition}