Definition:Order of Cards

From ProofWiki
Jump to navigation Jump to search

Definition

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$ if and only if $a$ is somewhere underneath $b$